Specification and Verification of Database Dynamics.

José Luiz Fiadeiro Amílcar Sernadas

Published in: Acta Informatica (1988)

Keyphrases

database
formal verification
databases
formal methods
database systems
query language
asynchronous circuits
high level
model checking
database management
database schema
video sequences
relational databases
database applications
concurrent systems