Operational Techniques in PVS - A Preliminary Evaluation.

Jonathan M. Ford Ian A. Mason

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

Keyphrases

theorem proving
formal verification
xml schema
cooperative
neural network
social networks
decision making
knowledge base
integrity constraints