6 ms·
Is there formal methods 'tooling' similar to TLA+ that is more targeted to State Machine design and perhaps State Machine Replication?
by DoingIsLearning 2y ago
Is there formal methods 'tooling' similar to TLA+ that is more targeted to State Machine design and perhaps State Machine Replication?
- nradclif 2y agoModel checking can be used to formally verify state machines. See https://en.wikipedia.org/wiki/Model_checking https://en.wikipedia.org/wiki/Model_checking.
- hwayne 2y agohttps://p-org.github.io/P/ https://p-org.github.io/P/
- rramadass 2y agoSee Tools section at https://en.wikipedia.org/wiki/Abstract_state_machine https://en.wikipedia.org/wiki/Abstract_state_machine