Author:
Gacek Andrew,Backes John,Whalen Mike,Wagner Lucas,Ghassabani Elaheh
Publisher
Springer International Publishing
Reference28 articles.
1. Cadence JasperGold Formal Verification Platform. https://www.cadence.com/
2. Synopsys VC Formal Platform. https://www.synopsys.com
3. Lecture Notes in Computer Science;J Backes,2015
4. Lecture Notes in Computer Science;D Beyer,2016
5. Lecture Notes in Computer Science;D Beyer,2015
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Requirements Engineering: Survey and Future Directions;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. Dynamic Assurance of Autonomous Systems through Ground Control Software;AIAA SCITECH 2024 Forum;2024-01-04
3. Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL;Lecture Notes in Computer Science;2024
4. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. Psym: Efficient Symbolic Exploration of Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06