Model Stack for the Pervasive Verification of a Microkernel-based Operating System.

Matthias Daum, Jan Drrenbcher, Sebastian Bogan

Browse the full CADE paper archive.