IChecker: An Efficient Checker for Inductive Invariants | IEEE Conference Publication | IEEE Xplore