Login / Signup

Unification in linear temporal logic LTL.

Sergey BabenyshevVladimir V. Rybakov
Published in: Ann. Pure Appl. Log. (2011)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • theorem proving
  • deterministic automata
  • linear time temporal logic
  • general purpose
  • distributed systems