3 ms·FizzBee, TLA+, and (Practical) Formal Software Verification with JP Kadarkarai1 points by sebg 2y ago