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]
No references recorded for this publication.
No citations of this publication recorded.