Certifying Proofs for LTL Model Checking

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]

Abstract

Abstract is missing.