Runtime verification of .NET contracts.

Michael Barnett Wolfram Schulte

Published in: J. Syst. Softw. (2003)

Keyphrases

supply chain
face verification
model checking
decision trees
case study
multiscale
formal verification
database
data sets
knowledge base
image processing
user interface
database programming
person identification
asynchronous circuits
false acceptance rate