Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems

computer aided verification, 2012.

Cited by: 51|Bibtex|Views4|Links

Code:

Data:

Your rating :
0

 

Tags
Comments