Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
Pub Date : 2014-06-02DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：