Comment by DoingIsLearning | Hacker News Reader

Top New Best Ask Show Jobs

Comment by DoingIsLearning | Hacker News Reader

Parent Full thread

DoingIsLearning·

Is there formal methods 'tooling' similar to TLA+ that is more targeted to State Machine design and perhaps State Machine Replication?

Model checking can be used to formally verify state machines. See https://en.wikipedia.org/wiki/Model_checking.

See Tools section at https://en.wikipedia.org/wiki/Abstract_state_machine

https://p-org.github.io/P/

Reply on news.ycombinator.com