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

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

Browse the full CAV paper archive.