|
日本語

Papers
Blog
Discussions
Follow Inferara

Blogs

Why use formal specification

This blog explores the benefits of formal specification in the context of program verification.

March 4, 2024

"If you do not do design right from the beginning, then every piece of the code you write is a patch. And you start out from the day 1 with a mess." – Leslie Lamport

© 2025 Inferara