Using program induction for verification – will this work? #1 Post by yoav_hollander » Sat, Oct 14, 2017, 5:25 PM UTC Using program induction for verification – will this work?blog.foretellix.com