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
Modular verification of preemptive OS kernels - MaRDI portal

Modular verification of preemptive OS kernels

From MaRDI portal

Publication:5398329

Jump to:navigation, search

DOI10.1017/S0956796813000075zbMath1311.68043MaRDI QIDQ5398329

Hongseok Yang, Alexey Gotsman

Publication date: 27 February 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency

This page was built for publication: Modular verification of preemptive OS kernels

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