Login / Signup

Evaluating LTL Satisfiability Solvers.

Viktor SchuppanLuthfi Darmawan
Published in: ATVA (2011)
Keyphrases
  • model checking
  • temporal logic
  • information retrieval
  • linear temporal logic
  • database systems
  • multi agent systems
  • expert systems
  • logic programs
  • deterministic automata