Formal Refinement for Operating System Kernels, Fachbücher von Iain D. Craig

"Formal Refinement for Operating System Kernels" ist ein Fachbuch, das als Begleitwerk zu einem vorherigen Buch über die Modellierung von Betriebssystemkernen verfasst wurde. Es zeigt auf, dass die formale Ableitung von Kernen möglich und relativ einfach ist. Der Autor, Iain D. Craig, hat bereits mehrere Mikrokerne bis hin zu ausführbarem Code verfeinert und bietet in diesem Buch eine Sammlung formal spezifizierter Komponenten an, die zur Bildung von Kernen verwendet werden können. Das Buch enthält zwei Beispiele für diese Arbeit: einen bereits verfeinerten Kern und einen neuen Separation Kernel, der teilweise aus der bereitgestellten Komponentensammlung konstruiert wurde. Die Darstellung der Spezifikation und Verfeinerung dieser Kerne verdeutlicht die Wiederverwendbarkeit der Komponenten und die Effizienz des Verfeinerungsprozesses, der durch vorherige Erfahrungen optimiert wurde.