Login / Signup

Writing out Unifiers in Linear Temporal Logic.

Vladimir V. Rybakov
Published in: J. Log. Comput. (2012)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • equational theories
  • formal specification
  • formal methods