CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties.

Marieke Huisman Dilian Gurov

Published in: FoVeOOS (2010)

Keyphrases

control flow
information technology
real world
machine learning
case study
high level
feature space
formal verification