Creating high confidence in a separation kernel

DOI10.1023/A:1016324624000zbMath1034.68637OpenAlexW1523068243MaRDI QIDQ1857290

F. S. Taylor, P. D. White, W. B. Martin

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016324624000

zbMATH Keywords

formal specificationrefinementinformation flowdata isolationseparation kernel

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Operating system verification---an overview