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
For further information, please contact Jianwen Li.