Handling loops in bounded model checking of C programs via k-induction-Reference-Cited by-同舟云学术

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

Published:2015-11-23 Issue:1 Volume:19 Page:97-114
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Gadelha Mikhail Y. R.,Ismail Hussama I.,Cordeiro Lucas C.

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-015-0407-9.pdf

Reference48 articles.

1. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, Amsterdam (2009)

2. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: 26. In: Satisfiability Modulo Theories. Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam, vol. 185, 825–885 (2009)

3. Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 2988, pp. 168–176. Springer, Berlin, Heidelberg (2004)

4. Merz, F., Falke, S., Sinz, C.: LLBMC: Bounded model checking of C and C++ programs using a compiler IR. In: Proceedings of the 4th International Conference on Verified Software: Theories, Tools, Experiments. VSTTE’12, pp. 146–161. Springer-Verlag (2012)

5. Cordeiro, L.: SMT-Based Bounded Model Checking of Multi-threaded Software in Embedded Systems. University of Southampton, Southampton (2011)

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

1. Sibyl: Improving Software Engineering Tools with SMT Selection;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

2. Verifying Chips Design at RTL Level;Theoretical Aspects of Software Engineering;2023

3. Software Testing: 5th Comparative Evaluation: Test-Comp 2023;Fundamental Approaches to Software Engineering;2023

4. Competition on Software Verification and Witness Validation: SV-COMP 2023;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator;Tools and Algorithms for the Construction and Analysis of Systems;2023