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.