3 ms·
When you say that state machine problems are basically solved, are you referring to any tools that you're using to reason about them?
by pramodbiligiri 5y ago
When you say that state machine problems are basically solved, are you referring to any tools that you're using to reason about them?
- mhh__ 5y agoBy solved I really mean "in commercial use", there's probably a lot of research let to be done, but people are already verifying TLA+ specs all day everyday.