Optimization mode

The optimization mode extends the experimentation mode by allowing a user to define a set of initial states. When launching an experiment each initial states will be checked as a separate experiment.

Defining an optimization variable depends on the model or property language. It is possible to define optimization variable in a property which will modify the associated model.

The optimization panel shows an additionnal panel allowing to modify optimization variable before running an experiment.