Lemma Weakening for State Machine Invariant Proofs | IEEE Conference Publication | IEEE Xplore