IChecker: An efficient checker for inductive invariants

Submitted by superuser on Mon, 04/06/2015 - 21:43
F. Lu and Cheng, K. - T. Tim, “IChecker: An efficient checker for inductive invariants”, in High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International, 2006.