Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Lecture Notes in Computer Science;M. Barnett,2006
2. Barnett, M., Fähndrich, M., Leino, K.R.M., Müller, P., Schulte, W., Venter, H.: Specification and verification: The Spec# experience. Communications of the ACM 54(6), 81–91 (2011)
3. Lecture Notes in Computer Science;C.. Barrett,2007
4. LNAI,2007
5. Lecture Notes in Computer Science;Y. Bertot,2005
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithm selection for SMT;International Journal on Software Tools for Technology Transfer;2023-02-15
2. MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers;Tools and Algorithms for the Construction and Analysis of Systems;2021
3. Dione: A Protocol Verification System Built with Dafny for I/O Automata;Lecture Notes in Computer Science;2019
4. A Tutorial on Using Dafny to Construct Verified Software;Electronic Proceedings in Theoretical Computer Science;2017-01-11
5. Friends with Benefits;Programming Languages and Systems;2017