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
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Dynamic Assurance of Autonomous Systems through Ground Control Software;AIAA SCITECH 2024 Forum;2024-01-04
2. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Psym: Efficient Symbolic Exploration of Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06
4. Enhancing the Formal Verification of Train Control Systems based on Decomposition;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06
5. Formalizing Model Inference of MicroPython;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06