Login / Signup
An improved method of k-induction combined with predicate abstraction and CEGAR for software model checking.
Shun Wang
Ye Du
Zhen Han
Published in:
Clust. Comput. (2019)
Keyphrases
</>
model checking
verification method
computational complexity
temporal logic
web services
np hard
software systems
binary decision diagrams