Scaling Commercial Verification to Larger Systems.

Robert P. Kurshan

Published in: Haifa Verification Conference (2007)

Keyphrases

commercial products
security systems
databases
neural network
information retrieval
video sequences
learning systems
complex systems
commercial software