A Case Study in Verification Based on Trace Abstractions.

Nils Klarlund Mogens Nielsen Kim Sunesen

Published in: Formal Systems Specification (1994)

Keyphrases

case study
model checking
test bed
high level
data sets
artificial intelligence
artificial neural networks
data model
machine learning
genetic algorithm
expert systems
face verification
signature verification