Nullstellensatz-Proofs for Multiplier Verification.

Daniela Kaufmann Armin Biere

Published in: CASC (2020)

Keyphrases

formal proof
face verification
formal verification
model checking
theorem proving
floating point
mathematical proofs
search algorithm
signature verification
theorem prover
interior point methods
hardware implementation
person identification
asynchronous circuits
natural deduction
verification method
databases