Assertion-based verification of RTOS properties.

Marcio F. da S. Oliveira Henning Zabel Wolfgang Müller

Published in: DATE (2010)

Keyphrases

model checking
databases
probability distribution
desirable properties
verification method
real time
data sets
machine learning
structural properties
face verification
topological properties
signature verification
formal verification