发布求助
文献互助 智能选刊 最新文献

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z最新文献

筛选
英文 中文
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations BWare项目:为B证明义务的自动验证构建一个证明平台
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_26
David Delahaye, Catherine Dubois, C. Marché, David Mentré
{"title":"The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations","authors":"David Delahaye, Catherine Dubois, C. Marché, David Mentré","doi":"10.1007/978-3-662-43652-3_26","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_26","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121892885","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module 基于模型的传感器投票模块离线测试与运行时监控
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-319-07512-9_7
Paolo Arcaini, A. Gargantini, E. Riccobene
{"title":"Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module","authors":"Paolo Arcaini, A. Gargantini, E. Riccobene","doi":"10.1007/978-3-319-07512-9_7","DOIUrl":"https://doi.org/10.1007/978-3-319-07512-9_7","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124044454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
WebASM: An Abstract State Machine Execution Environment for the Web Web的抽象状态机执行环境
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_19
Simone Zenzaro, V. Gervasi, J. Soldani
{"title":"WebASM: An Abstract State Machine Execution Environment for the Web","authors":"Simone Zenzaro, V. Gervasi, J. Soldani","doi":"10.1007/978-3-662-43652-3_19","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_19","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133494856","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Towards ASM-Based Formal Specification of Self-Adaptive Systems 基于asm的自适应系统形式化规范研究
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_17
E. Riccobene, P. Scandurra
{"title":"Towards ASM-Based Formal Specification of Self-Adaptive Systems","authors":"E. Riccobene, P. Scandurra","doi":"10.1007/978-3-662-43652-3_17","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_17","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131890468","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Formal System Modelling Using Abstract Data Types in Event-B Event-B中使用抽象数据类型的形式化系统建模
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_20
Andreas Fürst, Son Hoang, D. Basin, Naoto Sato, K. Miyazaki
{"title":"Formal System Modelling Using Abstract Data Types in Event-B","authors":"Andreas Fürst, Son Hoang, D. Basin, Naoto Sato, K. Miyazaki","doi":"10.1007/978-3-662-43652-3_20","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_20","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128270658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge 迈向B作为一种高级约束建模语言——解决工作难题的挑战
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_8
M. Leuschel, David Schneider
{"title":"Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge","authors":"M. Leuschel, David Schneider","doi":"10.1007/978-3-662-43652-3_8","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_8","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128978893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Formal Verification of OS Security Model with Alloy and Event-B 基于Alloy和Event-B的操作系统安全模型形式化验证
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_30
P. N. Devyanin, A. Khoroshilov, V. Kuliamin, A. Petrenko, I. Shchepetkov
{"title":"Formal Verification of OS Security Model with Alloy and Event-B","authors":"P. N. Devyanin, A. Khoroshilov, V. Kuliamin, A. Petrenko, I. Shchepetkov","doi":"10.1007/978-3-662-43652-3_30","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_30","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"378 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122046193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Modeling an Aircraft Landing System in Event-B 事件b中飞机着陆系统的建模
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-319-07512-9_12
D. Méry, N. Singh
{"title":"Modeling an Aircraft Landing System in Event-B","authors":"D. Méry, N. Singh","doi":"10.1007/978-3-319-07512-9_12","DOIUrl":"https://doi.org/10.1007/978-3-319-07512-9_12","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"160 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116733827","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
B Formal Validation of ERTMS/ETCS Railway Operating Rules B ERTMS/ETCS铁路运营规则的正式验证
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_10
R. Ayed, S. C. Dutilleul, P. Bon, Akram Idani, Y. Ledru
{"title":"B Formal Validation of ERTMS/ETCS Railway Operating Rules","authors":"R. Ayed, S. C. Dutilleul, P. Bon, Akram Idani, Y. Ledru","doi":"10.1007/978-3-662-43652-3_10","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_10","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114923437","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Optimizing Alloy for Multi-objective Software Product Line Configuration 面向多目标软件产品线配置的合金优化
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Pub Date : 2014-06-02 DOI: 10.1007/978-3-662-43652-3_34
Edward Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, K. Czarnecki
{"title":"Optimizing Alloy for Multi-objective Software Product Line Configuration","authors":"Edward Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, K. Czarnecki","doi":"10.1007/978-3-662-43652-3_34","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_34","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133350489","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信