#### formal-methods 12

View all

TLA⁺ is more than a DSL for breadth-first search
TLA⁺ Unicode support
Wrangling monotonic systems in TLA⁺
Using TLA⁺ at Work
Pseudocode Showdown
Writing a TLA⁺ tree-sitter grammar
The Missing Prelude to The Little Typer's Trickiest Chapter
Regexes in the Z3 Theorem Prover
How do you reason about a probabilistic distributed system?
Doing a math assignment with the Lean theorem prover
Checking Firewall Equivalence with Z3
Formal Verification, Casually Explained