SEChecker: A Sequential Equivalence Checking Framework Based on <formula formulatype="inline"><tex Notation="TeX">${K}$</tex></formula>th Invariants

SEChecker: A Sequential Equivalence Checking Framework Based on -th Invariants | IEEE Journals & Magazine | IEEE Xplore