Certifying Proofs for LTL Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alberto Griggio' in GoogleThis author has not been identified. It may be one of the following persons:

Marco Roveri

Look up 'Marco Roveri' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in Google

runs on WebDSL