Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.

Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin

Browse the full SEFM paper archive.