A Brief Overview of PVS.

Sam Owre Natarajan Shankar

Published in: TPHOLs (2008)

Keyphrases

theorem proving
formal verification
expert systems
real world
machine learning
domain specific
xml schema
timed automata
database
decision making
information technology
relational databases
software engineering
general purpose
theorem prover