Login / Signup

Bounded Correctness Checking for Extended CTL Properties with Past Operators.

Fei Pu
Published in: GSKI (2) (2017)
Keyphrases
  • temporal properties
  • computation tree logic
  • temporal logic
  • model checking
  • desirable properties
  • database
  • real time
  • data sets
  • databases
  • database systems
  • multi agent systems
  • relational databases