SAT-based Verification for Timed Component Connectors.

Stephanie Kemper

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

bounded model checking
model checking
timed automata
formal verification
petri net
temporal logic
colored petri nets
knowledge base
planning problems
answer sets
answer set programming
face recognition
logic programs
first order logic
signature verification
boolean satisfiability