Sign in
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