Small changes in parameterised processes.
Translation of Insiel's case study working.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
New changes in the model checker visitor.
Model checker dealing with minimal example of Insiel. Changed the output file name of Formula script.
Merge remote-tracking branch 'origin/development' into alrd
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Model checker handling Insiel's case study. More changes in the way the plugin generates the FORMULA and graph files.
Merge remote-tracking branch 'origin/acf' into alrd
Final adjustments in Insiel's case study. Modelchecker analysing and models put into SVN as well.
Merge commit 'e527ddf5d1a81b283b213c408b9ea288ca599f9c' into development
refactoring and code cleanup
more refactoring
more refactoring
Removed the abstractLabelledTransion class since it really wasnt used