Why use formal specification

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