Why Formal Systems?

They help me...

• check consistency within and across specs
• check consistency of code (hopefully)
• form concise, compelling arguments
• think clearly