4 ms·
I'd suggest starting with P (https://github.com/p-org/P https://github.com/p-org/P), or picking up Hillel Wayne's TLA+ book to get started.
by mjb 2y ago
I'd suggest starting with P (https://github.com/p-org/P https://github.com/p-org/P), or picking up Hillel Wayne's TLA+ book to get started.
- sriram_malhar 2y agoP is very nice indeed, be advised that it is not an exhaustive checker like TLC (TLA+'s model checker, or Apalache, the symbolic tester). It is more like a higher-level testing framework. That said, since non-deterministic choices are equi-probable in P, failure conditions are triggered at much higher frequencies than in a conventional testing scenario.