Login / Signup

Axiomatising Extended Computation Tree Logic.

Roope Kaivola
Published in: CAAP (1996)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • bounded model checking
  • np complete
  • epistemic logic