Login / Signup

Compositional encoding for bounded model checking.

Jun SunYang LiuJin Song DongJing Sun
Published in: Frontiers Comput. Sci. China (2008)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • encoding scheme
  • web services
  • orders of magnitude
  • formal methods
  • model checker
  • concurrent systems