Author:
Holzmann Gerard J.,Joshi Rajeev,Groce Alex
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way;ACM Transactions on Software Engineering and Methodology;2023-09-30
2. A Layered and Parallelized Method of Eventual Model Checking;Information;2023-07-06
3. SymTuner;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
4. Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization;Journal of Information and Telecommunication;2022-03-22
5. Dolmen: FPGA Swarm for Safety and Liveness Verification;2022 Design, Automation & Test in Europe Conference & Exhibition (DATE);2022-03-14