Verify that your state machines have the expected properties. Properties are specified using CTL.
Chris Stadler
July 5, 2019 7:18pm
MIT