3 ms·
TLA+ and the like could help here. You model the system, and run a simulation to see if it hits a failure state.
by brad0 3y ago
TLA+ and the like could help here. You model the system, and run a simulation to see if it hits a failure state.
loading thread…