Alberto Griggio, Marco Roveri, Stefano Tonetta. Certifying Proofs for LTL Model Checking. In Nikolaj Bjørner, Arie Gurfinkel, editors, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. pages 1-9, IEEE, 2018. [doi]
@inproceedings{GriggioRT18,
title = {Certifying Proofs for LTL Model Checking},
author = {Alberto Griggio and Marco Roveri and Stefano Tonetta},
year = {2018},
doi = {10.23919/FMCAD.2018.8603022},
url = {https://doi.org/10.23919/FMCAD.2018.8603022},
researchr = {https://researchr.org/publication/GriggioRT18},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018},
editor = {Nikolaj Bjørner and Arie Gurfinkel},
publisher = {IEEE},
isbn = {978-0-9835678-8-2},
}