Sheard, TimStump, AaronWeirich, Stephanie2023-05-222023-05-222010-11-072012-07-23https://repository.upenn.edu/handle/20.500.14332/6693We 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.Computer SciencesPresentation