On-the-fly decomposition of specifications in software model checking-Reference-Cited by-同舟云学术

On-the-fly decomposition of specifications in software model checking

Published:2016-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
language:
Short-container-title:

Author:

Apel Sven¹,Beyer Dirk²,Mordan Vitaly³,Mutilin Vadim³,Stahlbauer Andreas¹

Affiliation:

1. University of Passau, Germany

2. LMU Munich, Germany

3. Russian Academy of Sciences, Russia

Funder

Deutsche Forschungsgemeinschaft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2950290.2950349

Reference44 articles.

1. Thorough static analysis of device drivers

2. T. Ball V. Levin and S. K. Rajamani. A decade of software model checking with Slam. Commun. ACM 54(7):68–76 2011. 10.1145/1965724.1965743 T. Ball V. Levin and S. K. Rajamani. A decade of software model checking with Slam. Commun. ACM 54(7):68–76 2011. 10.1145/1965724.1965743

3. C. Barrett M. Deters L. de Moura A. Oliveras and A. Stump. 6 Years of SMT-COMP. J. Autom. Reasoning 50(3):243–277 2012. 10.1007/s10817-012-9246-5 C. Barrett M. Deters L. de Moura A. Oliveras and A. Stump. 6 Years of SMT-COMP. J. Autom. Reasoning 50(3):243–277 2012. 10.1007/s10817-012-9246-5

4. P. Baudin J.-C. Filliˆ atre C. Marché B. Monate Y. Moy and V. Prevosto. Acsl: ANSI/ISO C specification language. 2008. P. Baudin J.-C. Filliˆ atre C. Marché B. Monate Y. Moy and V. Prevosto. Acsl: ANSI/ISO C specification language. 2008.

5. Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Software Verification with CPAchecker 3.0: Tutorial and User Guide;Lecture Notes in Computer Science;2024-09-13

2. A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems;IEEE Open Journal of the Industrial Electronics Society;2024

3. Enhancing the Formal Verification of Train Control Systems based on Decomposition;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06

4. Decomposing software verification into off-the-shelf components;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

5. Verified from scratch;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21