Automated Verification of Correctness for Masked Arithmetic Programs.

Mingyang Liu Fu Song Taolue Chen

Published in: CoRR (2023)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
provably correct
computer programs
real time
data mining
search algorithm
knowledge representation
first order logic
temporal logic
situation calculus
theorem prover
floating point
programming environment