LDPRV18

@inproceedings{LDPRV18,
author    = {Li, Jianwen and Dureja, Rohit and Pu, Geguang and Rozier, Kristin Y. and Vardi, Moshe Y.},
title     = {SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability},
booktitle = {Proceedings of Computer Aided Verification (CAV)},
publisher = {Springer-Verlag},
address   = {Oxford, United Kingdom},
editors   = {Hana Chockler and Georg Weissenbacher},
month     = {July},
year      = {2018},
url       = {https://doi.org/10.1007%2F978-3-319-96142-2_5},
abstract  = {This paper presents SimpleCAR, a reference implementation of Complementary Approximate Reachability for safety hardware model checking. The tool is especially effective for bug finding and performs competitively on difficult HWMCC benchmarks.},
preprint  = {../papers/LDPRV18.pdf},
slides    = {../papers/LDPRV18-slides.pdf},
website   = {http://temporallogic.org/research/CAV18/}
}