Author:
Brain Martin,Joshi Saurabh,Kroening Daniel,Schrammel Peter
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;A Biere,1999
2. Bradley, A.R., Manna, Z.: Checking safety by inductive generalization of counterexamples to induction. In: Formal Methods in Computer-Aided Design, pp. 173–180. IEEE Computer Society (2007)
3. Brain, M., Joshi, S., Kroening, D., Schrammel, P.: Safety verification and refutation by k-invariants and k-induction (extended version). Technical report (2015).
arxiv.org/abs/1506.05671
4. Lecture Notes in Computer Science;J Brauer,2011
5. Lecture Notes in Computer Science;EM Clarke,2000
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09
3. 2LS: Arrays and Loop Unwinding;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. Competition on Software Verification and Witness Validation: SV-COMP 2023;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. Full-program induction: verifying array programs sans loop invariants;International Journal on Software Tools for Technology Transfer;2022-09-29