Date of this Version
Tim Sheard, Aaron Stump, and Stephanie Weirich, "Language-Based Verification Will Change The World", . November 2010.
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.
Date Posted: 23 July 2012