Compositional Verification Using SVL Scripts.

Frédéric Lang

Published in: TACAS (2002)

Keyphrases

model checking
formal methods
formal verification
neural network
verification method
high security
learning process
database
digital libraries
digital images
medical images
website
decision making
formal analysis
information systems
person identification
learning algorithm