state_machine_checker (0.1.1)

Chris Stadler
2019-07-06T21:40:10Z

Model checking for state machines using CTL.