SATMC: A SAT-Based Model Checker for Security-Critical Systems.

Alessandro Armando, Roberto Carbone, Luca Compagna

Browse the full TACAS paper archive.