Verification experiments for high-precision Above Ground Marking system.

Published in: ICCA (2010)

Keyphrases

high precision
high recall
high reliability
asynchronous circuits
model checking
achieve high precision
concurrent systems
case study
verification method
face verification
formal verification
genetic algorithm
expert systems
search algorithm
feature selection
functional verification
artificial intelligence