3 ms·
This could be a powerful technique for emitting formal specifications for model checking and have some confidence the state machines are all in sync
by tlarkworthy 8y ago
This could be a powerful technique for emitting formal specifications for model checking and have some confidence the state machines are all in sync