Login / Signup

Using Finite-Linear Temporal Logic for Specifying Database Dynamics.

Gunter SaakeUdo W. Lipeck
Published in: CSL (1988)
Keyphrases
  • linear temporal logic
  • database
  • temporal logic
  • model checking
  • databases
  • database systems
  • bounded model checking
  • relational databases
  • dynamical systems
  • domain specific