3 ms·There seems to be a bunch of papers and tools that extend CBMC for unbounded loops with k-induction!by fooker 11mo agoThere seems to be a bunch of papers and tools that extend CBMC for unbounded loops with k-induction!