Model Stack for the Pervasive Verification of a Microkernel-based Operating System. - Matthias Daum 001; Jan Dörrenbächer; Sebastian Bogan (VERIFY, 2008)

Formal specification of a simple operating system. - Sebastian Bogan (2008)