Max Mikhaylov 🔵
@mmxmb
Formal Verification. We had to build a nontrivial command line game, then model the game state and invariants using TLA+, and then use that to find bugs. It’s like a fuzzer for your system state transitions.
0 reply
0 recast
0 reaction
