Astrée: verification of absence of run-time error.

Laurent Mauborgne

Published in: IFIP Congress Topical Sessions (2004)

Keyphrases

error rate
verification method
model checking
database
data sets
e learning
face verification
machine learning
training data
multi agent systems
signature verification