Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;E. Albert,2005
2. Barendregt, H., Barendsen, E.: Autarkic computations in formal proofs. J. Autom. Reasoning 28(3), 321–336 (2002)
3. Text in theor. comp. science: an EATCS series;Y. Bertot,2004
4. Bjorner, N.S.: Integrating decision procedures for temporal verification. PhD thesis, Stanford University, Adviser-Zohar Manna (1998)
5. Lecture Notes in Computer Science;D. Cachera,2004
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reusing Predicate Precision in Value Analysis;Lecture Notes in Computer Science;2022
2. Cooperative verifier-based testing with CoVeriTest;International Journal on Software Tools for Technology Transfer;2021-04-25
3. Information Flow Certificates;Theoretical Aspects of Computing – ICTAC 2018;2018
4. PART$$_\mathrm {PW}$$: From Partial Analysis Results to a Proof Witness;Software Engineering and Formal Methods;2017
5. Certification for configurable program analysis;Proceedings of the 2014 International SPIN Symposium on Model Checking of Software;2014-07-21