Automated Verification of Correctness for Masked Arithmetic Programs.

Mingyang Liu Fu Song Taolue Chen

Published in: CAV (3) (2023)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
provably correct
computer programs
databases
knowledge representation
temporal logic
floating point
arithmetic operations
real time
genetic algorithm
programming environment
fixpoint