Specification and Verification of Abstract Database Types.

David W. Stemple Tim Sheard

Published in: PODS (1984)

Keyphrases

database
formal verification
databases
relational databases
database systems
high level
formal methods
state machines
database management systems
model checking
database management
database schema
database applications
user defined
indexing techniques