PVS: A Prototype Verification System.

Sam Owre John M. Rushby Natarajan Shankar

Published in: CADE (1992)

Keyphrases

formal verification
model checking
xml schema
temporal logic
theorem proving
face verification
timed automata
data sets
website
case study
data exchange