Login / Signup

Linear Temporal Logic LTL: Basis for Admissible Rules.

Sergey BabenyshevVladimir V. Rybakov
Published in: J. Log. Comput. (2011)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • linear time temporal logic
  • deterministic automata
  • software engineering
  • programming language
  • domain specific
  • modal logic