Formal verification Articles

Page 1 of 1 (3 articles)

12/9/2025 • EN

AI is predicted to bring formal verification tools like Dafny and Verus into mainstream use, aided by LLMs making them more accessible.

ai formal verification llm programming languages software development

7/30/2025 • EN

An introduction to Lean, a programming language for formalizing mathematics, using a simple proof of 2=2 as an example.

formal verification lean theorem prover mathematics as code proof assistant type theory

11/3/2014 • EN

A critique arguing that testing is essential for complex systems, countering the claim that informal reasoning is superior.

complexity formal verification software correctness state management testing

Select Language