Paper Info
Title
Solving the first verified software competition problems using PVS
Abstract
The first Verified Software Competition (VSComp) was held in August 2010 as part of the third conference on Verified Software: Theories, Tools, and Experiments. The competition consisted of five problems of varying difficulty. These problems have been useful for illustrating the strengths and weaknesses of different verification methods. We present solutions to these problems using the SRI's Prototype Verification System (PVS).We also discuss how certain features of PVS were exploited in these exercises.
Year
DOI
Venue
2011
10.1007/978-3-642-24933-4_16
Formal Modeling: Actors, Open Systems, Biological Systems
Keywords
Field
DocType
different verification method,certain feature,prototype verification system,verified software,varying difficulty,software competition problem,verified software competition,present solution
Prototype Verification System,Programming language,Computer science,Simulation,Software,Proof obligation,Strengths and weaknesses,Proof assistant
Conference
Volume
ISSN
Citations 
7000
0302-9743
0
PageRank 
References 
Authors
0.34
5
2
Name
Order
Citations
PageRank
Sam Owre11323104.39
Natarajan Shankar23050309.55