PVS#: Streamlined Tacticals for PVS.

Florent Kirchner César A. Muñoz

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

theorem proving
formal verification
timed automata
xml schema
decision support
machine learning
artificial intelligence
knowledge base
relational databases
virtual environment
semi automatic
high speed train