Author:
Haftmann Florian,Krauss Alexander,Kunčar Ondřej,Nipkow Tobias
Publisher
Springer Berlin Heidelberg
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence;Lecture Notes in Computer Science;2024
3. Flexible Correct-by-Construction Programming;Logical Methods in Computer Science;2023-06-07
4. A Formal CHERI-C Semantics for Verification;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. A Formalization and Proof Checker for Isabelle’s Metalogic;Journal of Automated Reasoning;2022-12-12