Author:
Blanchette Jasmin Christian,Böhme Sascha,Paulson Lawrence C.
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Systems and Implementation Techniques;W. Ahrendt,1998
2. Applied Logic;P.B. Andrews,2002
3. LNAI;J. Backes,2010
4. Lecture Notes in Computer Science;C. Barrett,2007
5. Barsotti, D., Nieto, L.P., Tiu, A.: Verification of clock synchronization algorithms: Experiments on a combination of deductive tools. Formal Asp. Comput. 19(3), 321–341 (2007)
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear Termination is Undecidable;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. A Framework for Debugging Automated Program Verification Proofs via Proof Actions;Lecture Notes in Computer Science;2024
3. IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL;Lecture Notes in Computer Science;2024
4. A proof system for graph (non)-isomorphism verification;Logical Methods in Computer Science;2023-02-01
5. Data-driven lemma synthesis for interactive proofs;Proceedings of the ACM on Programming Languages;2022-10-31