Author:
Ball Thomas,Cook Byron,Lahiri Shuvendu K.,Zhang Lintao
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Ball, T., Rajamani, S.K.: Generating abstract explanations of spurious counterexamples in C programs. Technical Report MSR-TR-2002-09, Microsoft Research (2002)
2. Lecture Notes in Computer Science;T. Ball,2004
3. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: PLDI 01: Programming Language Design and Implementation, pp. 203–213. ACM, New York (2001)
4. Lecture Notes in Computer Science;S.K. Lahiri,2003
5. Lecture Notes in Computer Science;C. Flanagan,2003
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated behavior modeling for verifying safety-relevant modules;2021 Fifth IEEE International Conference on Robotic Computing (IRC);2021-11
2. SAT-Based Model Checking;Handbook of Model Checking;2018
3. Specializations in Symbolic Verification;Information and Communication Technologies in Education, Research, and Industrial Applications;2013
4. Inferring Definite Counterexamples through Under-Approximation;Lecture Notes in Computer Science;2012
5. Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness;Formal Methods in System Design;2009-05-30