Login / Signup

Bounded Model Checking of CTL.

Zhi-Hong TaoConghua ZhouZhong ChenLifu Wang
Published in: J. Comput. Sci. Technol. (2007)
Keyphrases
  • bounded model checking
  • model checking
  • computation tree logic
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • model checker
  • distributed systems