Penelope, an Ada verification system.

Published in: TRI-Ada (1989)

Keyphrases

model checking
face verification
formal verification
concurrent systems
signature verification
data mining
information systems
search algorithm
preprocessing
multiresolution
control system