Verification Support Environment.

Frank A. Koch Markus Ullmann Stefan Wittmann

Published in: CAV (1996)

Keyphrases

support environment
grid technology
model checking
data sets
formal methods
signature verification
concurrent systems
real time
real world
case study
distributed systems
high security
distributed learning environments
functional verification