C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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