Verifying Array Programs by Transforming Verification Conditions.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: VMCAI (2014)

Keyphrases

model checking
verification method
sufficient conditions
databases
computer programs
data sets
automatic programming
symbolic execution
hardware designs
database
similarity measure
multi agent
hidden markov models
environmental conditions
formal verification
functional verification