jackdaniels4me

4 ms·

1. 1.▲
   by jackdaniels4me 1y ago

   This is neat. I've used FizzBee and TLA+ for model checking. Being able to test the implementation would be nice. How is this different from test case generation in TLA+?
2. 2.▲
   by jackdaniels4me 1y ago

   Lamport didn't design TLA+ for model checking or for practicing developers to use. He did purely for publishing papers where the researchers express their proofs as math (his new TLA+) instead of free form text.
3. 3.▲
   by jackdaniels4me 2y ago

   Tried FizzBee? https://fizzbee.io/examples/two_phase_commit_actors/#complet...
4. 4.▲
   by jackdaniels4me 2y ago

   This is neat! How does this compare with tools like draw.io or mermaidjs