Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.

Marco Bozzano, Adolfo Villafiorita

Browse the full SAFECOMP paper archive.