Publisher
Princeton University Press
Cited by
203 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Making PROGRESS in Property Directed Reachability;Lecture Notes in Computer Science;2022
2. Certifying Inexpressibility;Lecture Notes in Computer Science;2021
3. Approximation-refinement testing of compute-intensive cyber-physical models;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
4. Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction;Lecture Notes in Computer Science;2019
5. Learning to Complement Büchi Automata;Lecture Notes in Computer Science;2017-12-29