Formal Methods × AI Coding
Why AI coding's prompt-level specs organize work but do not verify complex system design, and where system-level formal methods like TLA+, P, and runtime conformance checking fit.
Formal Methods
Specifications, model checking, and reasoning about system correctness.
1 article
Latest writing
2026