Verification of Ada 1/0 statements.

William J. Pervin

Published in: ACM SIGCSE Bull. (1989)

Keyphrases

face verification
model checking
natural language
asynchronous circuits
real time
databases
genetic algorithm
concurrent systems
information systems
decision trees
case study
formal verification
functional verification
database systems
image segmentation
decision making
learning algorithm
machine learning