Angelic Verification: Precise Verification Modulo Unknowns-Reference-Cited by-同舟云学术

Angelic Verification: Precise Verification Modulo Unknowns

Published:2015 Issue: Volume: Page:324-342
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Das Ankush,Lahiri Shuvendu K.,Lal Akash,Li Yi

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_19

Reference36 articles.

1. Lecture Notes in Computer Science;S Arlt,2012

2. Lahiri, S.K., Vaswani, K., Hoare, C.A.R.: Differential static analysis: opportunities, applications, and challenges. In: Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT, International Symposium on Foundations of Software Engineering, November 7-11, 2010, pp. 201–2014, Santa Fe, NM, USA (2010)

3. Ball, T., Levin, V., Rajamani, S.K.: A decade of software model checking with SLAM. Commun. ACM 54(7), 68–76 (2011)

4. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. In: Program Analysis For Software Tools and Engineering (PASTE 2005), 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 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

2. Interactive Theorem Proving Modulo Fuzzing;Lecture Notes in Computer Science;2024

3. Weakest Precondition Inference for Non-Deterministic Linear Array Programs;Lecture Notes in Computer Science;2024

4. WINE: Warning miner for improving bug finders;Information and Software Technology;2023-03

5. Optimal CHC Solving via Termination Proofs;Proceedings of the ACM on Programming Languages;2023-01-09