Formalising Confluence in PVS.

Mauricio Ayala-Rincón

Published in: DCM (2015)

Keyphrases

formal verification
theorem proving
timed automata
rewrite systems
xml schema
real time
database
information systems
multiresolution
data model
multi dimensional
theorem prover