Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Towards applying the composition principle to verify a microkernel operating system - MaRDI portal

Towards applying the composition principle to verify a microkernel operating system

From MaRDI portal

Publication:6567716

Jump to:navigation, search

DOI10.1007/bfb0105408zbMath1543.68213MaRDI QIDQ6567716

Karl N. Levitt, Ronald A. Olsson, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Cui Zhang

Publication date: 5 July 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Towards applying the composition principle to verify a microkernel operating system

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6567716&oldid=40099878"