Model checking (experimental)

This release features a re-engineered implementation of model checking analyses which is still in experimental phase. It supports the models with following restrictions:
It can be triggered by selecting the option "NuSMV/nuXmv (re-engineered and experimental)" from the dropdown menu "Prover to be used" in the "AG, contracts, patterns" window.


Analyses new