@InProceedings{ BaumannBlasumBormerTverdyshev2011, author = {Christoph Baumann and Holger Blasum and Thorsten Bormer and Sergey Tverdyshev}, title = {Proving Memory Separation in a Microkernel by Code Level Verification}, year = {2011}, month = apr, address = {Newport Beach, CA, USA}, booktitle = {1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011)}, publisher = {IEEE Computer Society}, editor = {Wilfried Steiner and Roman Obermaisser} }
Proving Memory Separation in a Microkernel by Code Level Verification
Author(s): | Christoph Baumann, Holger Blasum, Thorsten Bormer, and Sergey Tverdyshev |
---|---|
In: | 1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011) |
Publisher: | IEEE Computer Society |
Year: | 2011 |