Low-Level Code Verification Based on CSP Models.

Moritz Kleine Steffen Helke

Published in: SBMF (2009)

Keyphrases

low level
prior knowledge
probabilistic model
statistical models
web services
high level
source code
model checking
low level features
computational models
metamodel