state_machine_checker (0.1.0)

Chris Stadler
2019-07-05T19:18:06Z

Model checking for state machines using CTL.

Verify that your state machines have the expected properties. Properties are
specified using CTL.