Formal API Specification of the PikeOS Separation Kernel

F. Verbeek*, O. (Oto) Havle, J. Schmaltz, S. (Sergey) Tverdyshev, H. (Holger) Blasum, B. (Bruno) Langenstein, S. (Stephan) Werner, B. (Burkhardt) Wolff, Y. (Yakoub) Nemouchi

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationNASA Formal Methods
Subtitle of host publication7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
EditorsKlaus Havelund, Gerard Holzmann, Rajeev Joshi
Place of PublicationCham
PublisherSpringer International Publishing AG
Chapter26
Pages375-389
Number of pages15
ISBN (Electronic)9783319175249
ISBN (Print)9783319175232
DOIs
Publication statusPublished - 2015
Event7th NASA Formal Methods Symposium: NFM 2015 - Pasadena, United States
Duration: 27 Apr 201529 Apr 2015
Conference number: 7

Publication series

SeriesLecture Notes in Computer Science (LNCS) series
Number9058
ISSN0302-9743
SeriesProgramming and Software Engineering LNPSE
Volume9058

Conference

Conference7th NASA Formal Methods Symposium
CountryUnited States
CityPasadena
Period27/04/1529/04/15

Cite this