Verification Support Environment.

Werner Stephan Bruno Langenstein Andreas Nonnengart Georg Rock

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

support environment
grid technology
model checking
real time
data sets
formal methods
formal verification
fingerprint verification
high security
databases
real world
search engine
knowledge base
database systems
service providers
concurrent systems