Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.

Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari

Browse the full SAFECOMP paper archive.