Verified Protection Model of the seL4 Microkernel.

Dhammika Elkaduwe Gerwin Klein Kevin Elphinstone

Published in: VSTTE (2008)

Keyphrases

computational model
data sets
neural network
artificial intelligence
data structure
simulation model
formal model
case study
image sequences
d objects
theoretical analysis
theoretical framework
sensitivity analysis
computational models
network model