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