Metamodelling and Conformance Checking with PVS.

Richard F. Paige Jonathan S. Ostroff

Published in: FASE (2001)

Keyphrases

theorem proving
xml schema
formal verification
timed automata
database
data sets
real world
relational databases
case study
high level
database systems
multi agent systems
data exchange