Date of this Version
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We explain how language-based approaches based on so-called dependent types are already being adopted in functional programming languages, and why such methods will be successful for mainstream use, where traditional formal methods have failed.
Sheard, Tim; Stump, Aaron; and Weirich, Stephanie, "Language-Based Verification Will Change The World" (2010). Departmental Papers (CIS). Paper 628.
Date Posted: 23 July 2012