|
|
|
|
|
|
by AstralStorm
3734 days ago
|
|
|
Better still, why not use maths and convert FSM into mathematical proofs? It is automatic if the FSM is fully specified and the semi-automatic part could catch insufficient specification. (to borrow words from reply above: certain kinds of implicit state and assumptions on the platform) Something like Isabelle/HOL etc. |
|
|