Title :
Verified Software: Theories, Tools, Experiments
Author_Institution :
Microsoft Res. in Cambridge, Cambridge
fDate :
March 31 2008-April 3 2008
Abstract :
The ideal of verified software has long been the goal of research in Computer Science. This paper argues that the time is ripe to embark on a Grand Challenge project to construct a program verifier, based on a sound and complete theory of programming, and evaluated by experimental application to a representative sample of useful computer software.
Keywords :
programming theory; computer science; program verifier; programming theory; useful computer software; verified software; Application software; Collaborative work; Computer languages; Computer science; Education; Engineering profession; Programming profession; Software systems; Software tools; Specification languages;
Conference_Titel :
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location :
Belfast
Print_ISBN :
0-7695-3139-3
DOI :
10.1109/ICECCS.2008.42
