@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 = jul,
  year = {2018},
  url = {https://doi.org/10.1007%2F978-3-319-96142-2_5},
  preprint = {../papers/LDPRV18.pdf},
  slides = {../papers/LDPRV18-slides.pdf},
  website = {http://temporallogic.org/research/CAV18/}
}