To run the analysis, edit the
analyzer-app/src/Analyzer.groovy file and issue the following command:
Make sure the Gradle process has enough memory - the more the better.
This project is distributed under the Eclipse Public License 1.0. The project was supported by the MONDO EU FP7 project (EU ICT-611125) and is currently developed by the MTA-BME Lendület Research Group on Cyber-Physical Systems.