@inproceedings{LDPRV18,
    author = {Jianwen Li and Rohit Dureja and Geguang Pu and Kristin Yvonne Rozier and Moshe Vardi},
    title = {{SimpleCAR}: An Efficient Bug-Finding Tool Based On Approximate Reachability},
    booktitle = {{Proceedings of 30th International Conference on Computer Aided Verification (CAV 2018)}},
    publisher = {Springer},
    series = {{LNCS}},
    volume = {10982},
    address = {Oxford, UK},
    editors = {Hana Chockler and Georg Weissenbacher},
    pages={37--44},
    doi = {https://doi.org/10.1007/978-3-319-96142-2_5},
    month = {July},
    year = {2018},
}