SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability-Reference-Cited by-同舟云学术

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability

Author:

Li Jianwen,Dureja Rohit,Pu Geguang,Rozier Kristin Yvonne,Vardi Moshe Y.

Publisher

Springer International Publishing

Link

Reference23 articles.

1. AIGER Tools. http://fmv.jku.at/aiger/aiger-1.9.9.tar.gz

2. HWMCC 2015. http://fmv.jku.at/hwmcc15/

3. HWMCC 2017. http://fmv.jku.at/hwmcc17/

4. IC3Ref. https://github.com/arbrad/IC3ref

5. SimpleCAR Source. https://github.com/lijwen2748/simplecar/releases/tag/v0.1

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Accelerate Safety Model Checking Based on Complementary Approximate Reachability;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09

5. Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30