Tag
A podcast episode featuring Hillel Wayne discusses whether AI will drive mainstream adoption of formal verification, highlighting TLA+ use at Amazon and the challenges of writing formal specs.
An introduction to using TLA+ with LLMs like Claude to write formal specifications, showing how LLMs can help with syntax while focusing on correctness.