Lemma Weakening for State Machine Invariant Proofs.

Duong Dinh Tran Dang Duy Bui Parth Gupta Kazuhiro Ogata

Published in: APSEC (2020)

Keyphrases

state machine
state machines
fault tolerant
finite state machines
theorem proving
theorem prover
affine transformation
equational theories
affine invariant
natural deduction
mathematical proofs
computer vision
image transformations
formal proof