A new approach for software correctness and reliability (keynote)

Abstract

Software correctness and security have been a central issue in the field for decades. Researchers have developed a wide range of approaches to these problems, none of which has solved these problems to date.