FSM2.0

An eclipse plugin that extracts and draws finite-state models from execution trace of Java programs and performs runtime property checking of the model. The properties are stated in propositional temporal logic augmented with built-in data types

How to run?

Clone repo, import and run as Eclipse Application

How to export as plugin

1. Create 'New' Project -> Feature Project
2. Put < Project Name>, click Next
3. Select 'Initialize from the plug-ins list'
4. Select 'Finite_State_Machine_Offline (2.x.x)'
5. Open feature.xml
6. Under 'Exporting' -> Synchronize
7. Under 'Exporting' -> Export Wizard