Separation Kernel Verification: The XtratuM Case Study - BUTTERFIELD, ANDREW (Springer, 2014)
LNCS
Verified Software: Theories, Tools and Experiments
PUBLISHED
funded by the European Space Agency
Vienna
Keywords: Computer Science/Engineering; Computer Software