Author:
Albarghouthi Aws,Gurfinkel Arie,Chechik Marsha
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Albarghouthi, A., Gurfinkel, A., Chechik, M.: Whale Homepage,
http://www.cs.toronto.edu/~aws/whale
2. Lecture Notes in Computer Science;T. Ball,2001
3. Lecture Notes in Computer Science;T. Ball,2001
4. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The Software Model Checker Blast. STTT 9(5-6), 505–525 (2007)
5. Lecture Notes in Computer Science;R. Bruttomesso,2008
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Decomposing Software Verification using Distributed Summary Synthesis;Proceedings of the ACM on Software Engineering;2024-07-12
2. An Extention of Lazy Abstraction and Refinement for Program Verification;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06
3. SMT-based verification of program changes through summary repair;Formal Methods in System Design;2022-06
4. Efficient Modular SMT-Based Model Checking of Pointer Programs;Static Analysis;2022
5. SIA;Proceedings of the 2021 International Conference on Management of Data;2021-06-09