Add to ORKGSIGLEAvailable from TIB Hannover: RR 7739(02-03) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Abstract. Primitives are basic means provided by a microkernel to im-plementors of operating system ...
Da die Zahl eingebetteter Systeme und deren Feature zunimmt, wächst auch die Komplexität und Codebas...
The University of Pisa has been collaborating with ESA for an independent development of a SpaceFibr...
We present the VFiasco project, in which we apply source-code verification to a complete operating-s...
Abstract. In this paper, we are giving an overview of the ongoing VerisoftXT Avionics project report...
SIGLEAvailable from TIB Hannover: RR 7739(01-1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...
AbstractPrimitives are basic means provided by a microkernel to implementors of operating system ser...
Software verification tools have become a lot more powerful in recent years. Even verification of la...
Although software verification is evolving fast in both theoretical and practical aspects, it still ...
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
We propose a development methodology for designing and prototyping high assurance microkernels, and ...
Der vorliegende Bericht fasst den Verlauf und die Ergebnisse des Teilprojekts »Kriterien und Konzept...
SV-COMP 2023 Archive of Verification and Validation Tools This file describes the contents of an a...
This paper reviews the concepts and mechanisms used to improve security in general purpose operating...
Today in the era of modern technology micro electronics play a very vital role in every aspects of l...
Abstract. Primitives are basic means provided by a microkernel to im-plementors of operating system ...
Da die Zahl eingebetteter Systeme und deren Feature zunimmt, wächst auch die Komplexität und Codebas...
The University of Pisa has been collaborating with ESA for an independent development of a SpaceFibr...
We present the VFiasco project, in which we apply source-code verification to a complete operating-s...
Abstract. In this paper, we are giving an overview of the ongoing VerisoftXT Avionics project report...
SIGLEAvailable from TIB Hannover: RR 7739(01-1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...
AbstractPrimitives are basic means provided by a microkernel to implementors of operating system ser...
Software verification tools have become a lot more powerful in recent years. Even verification of la...
Although software verification is evolving fast in both theoretical and practical aspects, it still ...
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
We propose a development methodology for designing and prototyping high assurance microkernels, and ...
Der vorliegende Bericht fasst den Verlauf und die Ergebnisse des Teilprojekts »Kriterien und Konzept...
SV-COMP 2023 Archive of Verification and Validation Tools This file describes the contents of an a...
This paper reviews the concepts and mechanisms used to improve security in general purpose operating...
Today in the era of modern technology micro electronics play a very vital role in every aspects of l...
Abstract. Primitives are basic means provided by a microkernel to im-plementors of operating system ...
Da die Zahl eingebetteter Systeme und deren Feature zunimmt, wächst auch die Komplexität und Codebas...
The University of Pisa has been collaborating with ESA for an independent development of a SpaceFibr...