Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.

Nikolai Kosmatov Claude Marché Yannick Moy Julien Signoles

Published in: ISoLA (1) (2016)

Keyphrases

dynamic environments
dynamic analysis
image processing
model checking
dynamically changing
website
image segmentation
high level
special case