Login / Signup

Vectorial Languages and Linear Temporal Logic.

Olivier Serre
Published in: IFIP TCS (2002)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • search algorithm
  • markov chain