GitHub repository: urbangeek/FSM2.0
Primary language: Java
Description: An eclipse plugin that evaluates execution trace and performs model checking