Login / Signup
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.
Kåre J. Kristoffersen
Christian Pedersen
Henrik Reif Andersen
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
model checking
database
computer systems
expert systems
verification method
face recognition
learning systems
retrieval systems
finite state machines
databases
search engine
knowledge base
knowledge representation
datalog programs
automated verification
linear time temporal logic