Formal Specification of a Generic Separation Kernel

Freek Verbeek 1 Sergej Tverdyshev Havle Oto 2 Blasum Holger 2 Langenstein Bruno 3 Stephan Werner 4 Yakoub Nemouchi 5 Abderrahmane Feliachi 5 Burkhart Wolff 6, 5
1 Radboud university [Nijmegen]
2 SYSGO AG [Klein-Winternheim]
3 DFKI - Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
4 KIT - Karlsruhe Institute of Technology
5 LRI - Laboratoire de Recherche en Informatique
6 IRT SystemX - IRT SystemX
Type de document :
Autre publication
Submission to the Archive of Formal Proofs (AFP) http://afp.sf.net/entries/CISC-Kernel.shtml. 2013
Liste complète des métadonnées
https://hal.inria.fr/hal-01765535
Contributeur : Burkhart Wolff <>
Soumis le : jeudi 12 avril 2018 - 21:52:25
Dernière modification le : mercredi 23 janvier 2019 - 11:26:02

Identifiants

  • HAL Id : hal-01765535, version 1

Collections

INRIA | UMR8623 | LRI-VALS | IRT-SYSTEMX

Citation

Freek Verbeek, Sergej Tverdyshev, Havle Oto, Blasum Holger, Langenstein Bruno, et al.. Formal Specification of a Generic Separation Kernel. Submission to the Archive of Formal Proofs (AFP) http://afp.sf.net/entries/CISC-Kernel.shtml. 2013. 〈hal-01765535〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

176

Contact


archive-ouverte@inria.fr