Login / Signup

Vectorial languages and linear temporal logic.

Olivier Serre
Published in: Theor. Comput. Sci. (2004)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • dynamic programming
  • general purpose
  • domain independent
  • modal logic