Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux. FAR-Cubicle - A new reachability algorithm for Cubicle. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 172-175, IEEE, 2017. [doi]
@inproceedings{ConchonGKMR17,
title = {FAR-Cubicle - A new reachability algorithm for Cubicle},
author = {Sylvain Conchon and Amit Goel and Sava Krstic and Rupak Majumdar and Mattias Roux},
year = {2017},
doi = {10.23919/FMCAD.2017.8102256},
url = {https://doi.org/10.23919/FMCAD.2017.8102256},
researchr = {https://researchr.org/publication/ConchonGKMR17},
cites = {0},
citedby = {0},
pages = {172-175},
booktitle = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017},
editor = {Daryl Stewart and Georg Weissenbacher},
publisher = {IEEE},
isbn = {978-0-9835678-7-5},
}