Skip to content

Gmv ive model checking

Tiago Jorge requested to merge gmv-ive-model-checking into master

Added in the IV the integration of the Model Checking window developed in the context of the MOC4SPACE study. Currently supporting the IF model checker engine. Done by GMV.

Merge request reports