Public Repository

Last pushed: 3 years ago
Short Description
The official build of NSV-Scanner.
Full Description


NSV-Scanner is a numeric state variable scanner that checks which numeric state variables conform to a given formal specification. The approach is similar to parameter scanning, but instead of changing the parameter values, we change the numeric state variables considered for each logic property in the formal specification.

NSV-Scanner builds on the inference engine of the model checker Mule (see

Docker Pull Command