Fork me on GitHub


An Efficient Bug-Finding Tool Based on Approximate Reachability

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

This webpage contains further details and artifacts for reproducibility of the experiments in "SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability" by J. Li, R. Dureja, G. Pu, K.Y. Rozier, M.Y. Vardi


We evaluate SimpleCAR against several challenging from the Hardware Model Checking Competition.

Data to regenerate all plots and tables in the paper can be found here.