Abstract
The first attempts to apply the k-induction method to software verification are only recent. In this paper, we present a novel proof by induction algorithm, which is built on the top of a symbolic context-bounded model checker and uses an iterative ...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have