Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker
CAV, 2018.
@inproceedings{CAV-2018-GacekBWWG,
author = "Andrew Gacek and John Backes and Mike Whalen and Lucas G. Wagner and Elaheh Ghassabani",
booktitle = "{Proceedings of the 30th International Conference on Computer Aided Verification, Part II}",
doi = "10.1007/978-3-319-96142-2_3",
isbn = "['978-3-319-96141-5', '978-3-319-96142-2']",
pages = "20--27",
publisher = "{Springer}",
title = "{The JKind Model Checker}",
year = 2018,
}
Tags: