Hochschulschrift
Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
- Alternative title
-
In Richtung durchgängige formale Verifikation von in C implementierten Mehrkern-Betriebssystemen und -Hypervisoren
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2013
- Classification
-
Informatik
- Keyword
-
Hardwareverifikation ; Programmverifikation ; VM ; Betriebssystem ; Virtualisierung ; Hyper-V ; Mehrkernprozessor
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2013
- Creator
-
Schmaltz, Sabine Bettina
- Contributor
- URN
-
urn:nbn:de:bsz:291-scidok-53067
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Schmaltz, Sabine Bettina
- Paul, Wolfgang J.
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2013
Other Objects (12)
Compiler verification in the context of pervasive system verification
Pervasive verification of distributed real-time systems
Formal verification of multimodal dialogs in pervasive environments
Correctness of multi-core processors with operating system support
A survey of timing verification techniques for multi-core real-time systems
Pervasive electrochemistry
Formal verification of a small real-time operating system
![Vorgehensweise für die Multicore-Softwareentwicklung : [MWARE, multicore software]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Vorgehensweise für die Multicore-Softwareentwicklung : [MWARE, multicore software]
Softwaretechnologien für die Multicore-Zukunft : [MWARE, multicore software]
Pervasive computing : proceedings
Schwerpunktthema: Pervasive university
Pervasive computing : proceedings
Compiler verification in the context of pervasive system verification
Pervasive verification of distributed real-time systems
Formal verification of multimodal dialogs in pervasive environments
Correctness of multi-core processors with operating system support
A survey of timing verification techniques for multi-core real-time systems
Pervasive electrochemistry
Formal verification of a small real-time operating system
Vorgehensweise für die Multicore-Softwareentwicklung : [MWARE, multicore software]
Softwaretechnologien für die Multicore-Zukunft : [MWARE, multicore software]
Pervasive computing : proceedings
Schwerpunktthema: Pervasive university
Pervasive computing : proceedings
Compiler verification in the context of pervasive system verification
Pervasive verification of distributed real-time systems
Formal verification of multimodal dialogs in pervasive environments
Correctness of multi-core processors with operating system support
A survey of timing verification techniques for multi-core real-time systems
Pervasive electrochemistry
Formal verification of a small real-time operating system
Vorgehensweise für die Multicore-Softwareentwicklung : [MWARE, multicore software]
Softwaretechnologien für die Multicore-Zukunft : [MWARE, multicore software]
Pervasive computing : proceedings
Schwerpunktthema: Pervasive university