Funder
National Science Foundation
Gigascale Systems Research Center
Semiconductor Research Corporation
Office of Naval Research
CMU-Portugal Program
U.S. Department of Defense
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference37 articles.
1. Ball T, Rajamani SK (2000) Bebop: a symbolic model checker for Boolean programs. In: SPIN, pp 113–130
2. Ball T, Majumdar R, Millstein T, Rajamani SK (2001) Automatic predicate abstraction of C programs. SIGPLAN Not 36(5):203–213
3. Clarke EM, Kroening D, Lerda F (2004) A tool for checking ANSI-C programs. In: TACAS
4. Barnett M, Chang B-YE, DeLine R, Jacobs B, Leino KRM (2005) Boogie: a modular reusable verifier for object-oriented programs. In: FMCO, pp 364–387
5. Albarghouthi A, Gurfinkel A, Chechik M (2012) From under-approximations to over-approximations and back. In: TACAS
Cited by
81 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic;Lecture Notes in Computer Science;2024-09-11
2. Integrating Loop Acceleration Into Bounded Model Checking;Lecture Notes in Computer Science;2024-09-11
3. Reachability Analysis for Multiloop Programs Using Transition Power Abstraction;Lecture Notes in Computer Science;2024-09-11
4. Inductive Approach to Spacer;Proceedings of the ACM on Programming Languages;2024-06-20
5. CHC-COMP 2023: Competition Report;Electronic Proceedings in Theoretical Computer Science;2024-04-23