Author:
Lal Akash,Qadeer Shaz,Lahiri Shuvendu K.
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Babic, D., Hu, A.J.: Calysto: scalable and precise extended static checking. In: ICSE, pp. 211–220 (2008)
2. Ball, T., Levin, V., Rajamani, S.K.: A decade of software model checking with SLAM. Commun. ACM 54(7), 68–76 (2011)
3. Lecture Notes in Computer Science;M. Barnett,2006
4. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. In: PASTE, pp. 82–87 (2005)
5. Barnett, M., Qadeer, S.: BCT: A translator from MSIL to Boogie. In: Seventh Workshop on Bytecode Semantics, Verification, Analysis and Transformation (2012)
Cited by
90 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints;Proceedings of the ACM on Programming Languages;2024-04-29
2. Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14
3. Symbolic encoding of LL(1) parsing and its applications;Formal Methods in System Design;2023-06-22
4. Verification-Preserving Inlining in Automatic Separation Logic Verifiers;Proceedings of the ACM on Programming Languages;2023-04-06
5. VICO;Proceedings of the 36th ACM International Conference on Supercomputing;2022-06-28