formal methods websites

This tag brings together websites about formal methods, including academic papers, verification tools, proof systems, and software engineering resources. Visitors can find content on specification, correctness, safety, and mathematically grounded development. The tag helps narrow discovery to sites that support rigorous design and validation of complex systems.

Jochen Hoenicke: Formal Verification and Programming Research

Jochen Hoenicke's personal homepage focuses on formal verification and programming research. It highlights work on proving the correctness of smart cont...