A Theorem Prover Based Approach for SAT-Based Model Checking Certification.

Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta

Browse the full CADE paper archive.