Real-Time Verification of Statemate Designs.

Udo Brockmeyer Gunnar Wittich

Published in: CAV (1998)

Keyphrases

real time
model checking
data mining
real time systems
database
machine learning
artificial intelligence
vision system
neural network
computer vision
e learning
high speed
temporal logic
design principles
high fidelity
verification method