Program verification via iterated specialization ?
We propose a software model checking method. Our method is based on program specialization of constraint logic programs. We have evaluated our method by an extensive experimentation.
software model checking program specialization constraint logic programming program transformation