Verification of Programs with Pointers in SPARK.

Georges-Axel Jaloyan Claire Dross Maroua Maalej Yannick Moy Andrei Paskevich

Published in: ICFEM (2020)

Keyphrases

symbolic execution
hardware designs
model checking
test generation
computer programs
verification method
computer vision
fixpoint
real world
information retrieval
learning algorithm
database
signature verification
formal verification
neural network
databases
data sets