ESBMC 5.0: an industrial-strength C model checker-Reference-Cited by-同舟云学术

ESBMC 5.0: an industrial-strength C model checker

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Gadelha Mikhail R.¹,Monteiro Felipe R.²,Morse Jeremy³,Cordeiro Lucas C.⁴,Fischer Bernd⁵,Nicole Denis A.¹

Affiliation:

1. University of Southampton, UK

2. Federal University of Amazonas, Brazil

3. University of Bristol, UK

4. University of Manchester, UK

5. Stellenbosch University, South Africa

Publisher

ACM

Link

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

Reference14 articles.

1. A tool for checking ANSI-C programs;Clarke E.;TACAS, LNCS,2004

2. Handling loops in bounded model checking of C programs via k-induction

3. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

4. C. Metz “Why Apple’s swift language will instantly remake computer programming ” 204 http://www.wired.com/2014/07/apple-swift/. C. Metz “Why Apple’s swift language will instantly remake computer programming ” 204 http://www.wired.com/2014/07/apple-swift/.

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

1. Parallel program analysis on path ranges;Science of Computer Programming;2024-12

2. FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis;Formal Aspects of Computing;2024-06-26

3. Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

4. Fuzzing Drones for Anomaly Detection: A Systematic Literature Review;2024

5. Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers;Lecture Notes in Computer Science;2024