Certifying Proofs for LTL Model Checking.

Alberto Griggio, Marco Roveri, Stefano Tonetta

Browse the full FMCAD paper archive.