Author:
Beckert Bernhard,Bormer Thorsten,Merz Florian,Sinz Carsten
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;M. Barnett,2006
2. Berezin, S., McMillan, K., Labs, C.B.: Model checking and theorem proving: a unified framework. Technical report, Carnegie Mellon Univ. (2002)
3. Lecture Notes in Computer Science;E. Clarke,2000
4. Lecture Notes in Computer Science;E. Cohen,2009
5. Lecture Notes in Computer Science;L. Moura de,2008
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular Verification of JML Contracts Using Bounded Model Checking;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
2. Deductive Verification of Legacy Code;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
3. Lessons Learned From Microkernel Verification — Specification is the New Bottleneck;Electronic Proceedings in Theoretical Computer Science;2012-11-26