Login / Signup

An improved method of k-induction combined with predicate abstraction and CEGAR for software model checking.

Shun WangYe DuZhen Han
Published in: Clust. Comput. (2019)
Keyphrases
  • model checking
  • verification method
  • computational complexity
  • temporal logic
  • web services
  • np hard
  • software systems
  • binary decision diagrams