Author:
Biere Armin,Cimatti Alessandro,Clarke Edmund,Zhu Yunshan
Publisher
Springer Berlin Heidelberg
Cited by
647 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
2. A Model Checker for Operator Precedence Languages;ACM Transactions on Programming Languages and Systems;2023-09-23
3. Efficient Safety Verification of Discrete Event Systems;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26
4. Certified SAT solving with GPU accelerated inprocessing;Formal Methods in System Design;2023-08-02
5. Generating Extended Resolution Proofs with a BDD-Based SAT Solver;ACM Transactions on Computational Logic;2023-07-25