Author:
Andronick June,Jeffery Ross,Klein Gerwin,Kolanski Rafal,Staples Mark,Zhang He,Zhu Liming
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Code to Qed, the Project Manager's Guide to Proof Engineering;ACM Transactions on Software Engineering and Methodology;2024-08-26
2. Formal methods by stealth: The INSPEX experience;Journal of Software: Evolution and Process;2021-10-13
3. A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653;Electronics;2021-08-11
4. Incremental predicate analysis for regression verification;Proceedings of the ACM on Programming Languages;2020-11-13
5. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20