@conference {inp:BlasumHavleLangensteinNemouchiSchmaltzStephanTverdyshevVerbeekWolff2014, title = {Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System}, booktitle = {Isabelle 2014 workshop at FloC 2014}, year = {2014}, author = {H. Blasum and O. Havle and B. Langenstein and Y. Nemouchi and J. Schmaltz and W. Stephan and S. Tverdyshew and F. Verbeek and B. Wolf} }