Christian Colombo
Results
3
comments of
Christian Colombo
That's great to know! Hope there will be more of this in the future :)
@pholser Thanks for getting back. Perhaps the best description of what I have in mind is given here: http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_of_finite_state_machines.html Please let me know if you need further clarification.
@pholser Yes, that would be very useful as it is easy to model a state machine with that setup.