Author:
Barnett Mike,DeLine Robert,Fähndrich Manuel,Jacobs Bart,Leino K. Rustan M.,Schulte Wolfram,Venter Herman
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;M. Barnett,2006
2. Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3(6) (2004),
www.jot.fm
3. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 2005, September 2005, ACM, New York (2005)
4. Lecture Notes in Computer Science;K. Mike Barnett,2005
5. Lecture Notes in Computer Science;M. Barnett,2004
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Design by Contract for Deep Learning APIs;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Fast and Reliable Formal Verification of Smart Contracts with the Move Prover;Tools and Algorithms for the Construction and Analysis of Systems;2022
3. Meta-F $$^\star $$ : Proof Automation with SMT, Tactics, and Metaprograms;Programming Languages and Systems;2019
4. Revisiting Enumerative Instantiation;Tools and Algorithms for the Construction and Analysis of Systems;2018
5. Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks;Programming Languages and Systems;2018