Experience report: seL4: formally verifying a high-performance microkernel.

Gerwin Klein Philip Derrin Kevin Elphinstone

Published in: ICFP (2009)

Keyphrases

computer vision
model checking
high efficiency
learning curve
artificial intelligence
information systems
knowledge base
web services
multiscale
preprocessing
cost effective