Modular Verification of Static Class Invariants.

K. Rustan M. Leino Peter Müller

Published in: FM (2005)

Keyphrases

neural network
database
real time
genetic algorithm
image processing
bayesian networks
semi supervised
model checking
signature verification