NuSMV2: An OpenSource Tool for Symbolic Model Checking (0)

by A Cimatti
Venue:in proceedings of 14th International Conference on Computer Aided Verification (CAV