PVS: An Experience Report.

Sam Owre John M. Rushby Natarajan Shankar David W. J. Stringer-Calvert

Published in: FM-Trends (1998)

Keyphrases

theorem proving
formal verification
timed automata
xml schema
first order logic
expert systems
decision support
database
artificial intelligence
natural language