DocumentCode
3291588
Title
Verified Software: Theories, Tools, Experiments
Author
Hoare, Sir Tony
Author_Institution
Microsoft Res. in Cambridge, Cambridge
fYear
2008
fDate
March 31 2008-April 3 2008
Firstpage
3
Lastpage
3
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location
Belfast
Print_ISBN
0-7695-3139-3
Type
conf
DOI
10.1109/ICECCS.2008.42
Filename
4492872
Link To Document