Author:
Brockschmidt Marc,Joosten Sebastiaan J. C.,Thiemann René,Yamada Akihisa
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. When COSTA Met KeY: Verified Cost Bounds;The Logic of Software. A Tasting Menu of Formal Methods;2022
2. An Isabelle/HOL formalization of AProVE’s termination method for LLVM IR;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
3. Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL;Lecture Notes in Computer Science;2020
4. Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk);Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019
5. Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL;Frontiers of Combining Systems;2019