4 ms·
Modelling your application as a state machine will allow you to use model checking to prove various properties about your model. Proving that your program is eq
by Thiez 4y ago
Modelling your application as a state machine will allow you to use model checking to prove various properties about your model. Proving that your program is equivalent (for some chosen definition of equivalence) to the state machine is left as an exercise for the reader.
- nottorp 4y ago> Proving that your program is equivalent (for some chosen definition of equivalence) to the state machine is left as an exercise for the reader. "It's obvious" :)