@inproceedings{BaumannBormer09,
author = {Christoph Baumann and Thorsten Bormer},
title = {Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project},
booktitle = {Doctoral Symposium on Systems Software Verification (DS SSV'09)},
series = {Aachener Informatik Berichte},
publisher = {RWTH Aachen University},
editor = {Huuck, R. and Klein, G. and Schlich, B.},
year = {2009},
month = jun
}
Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project
| Autor(en): | Christoph Baumann und Thorsten Bormer |
|---|---|
| In: | Doctoral Symposium on Systems Software Verification (DS SSV'09) |
| Verleger: | RWTH Aachen University |
| Reihe: | Aachener Informatik Berichte |
| Jahr: | 2009 |