statechart verification

A Formal Specification Language Based on Statecharts

1
9
Java

statechart-verification

A Formal Specification Language Based on Statecharts

To Do List

  1. Need to fix front-end with respect to the changes in History
  2. Need to initialize the Execution State (will need to make changes to a few basics for this)
  3. Add all three types of variables