Runtime verification infrastructure for Embedded Linux.

Roman Beneder Bernd Glatz Martin Horauer Thomas Rauscher

Published in: MESA (2014)

Keyphrases

operating system
model checking
signature verification
open source
embedded systems
formal verification
file system
database applications
information exchange
computing environments
neural network
data management
low cost
cd rom
digital images
database systems
metadata