GitHub repository: nullbringer/FSM2.0
Primary language: Java
Description:  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