FizzBee, TLA+, and (Practical) Formal Software Verification with JP Kadarkarai (materializedview.io)1 points by sebg 9 hours ago | 0 comments