Using Isabelle/HOL to develop and maintain separation invariants for an operating system

H. Blasum, O. Havle, B. Langenstein, Y. Nemouchi, J. Schmaltz, W. Stephan, S. Tverdyshev, F. Verbeek, B. Wolff

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

Fingerprint

Dive into the research topics of 'Using Isabelle/HOL to develop and maintain separation invariants for an operating system'. Together they form a unique fingerprint.

Engineering & Materials Science