Deductive Verification of Parallel Programs Using Why3.

César Santos Francisco Martins Vasco Thudichum Vasconcelos

Published in: ICE (2015)

Keyphrases

symbolic execution
database languages
functional programs
hardware designs
parallel processing
model checking
verification method
sorting algorithms
high level programming language
machine learning
parallel implementation
formal methods