Publication Overview

Eyad Alkassar and Wolfgang J. Paul and Artem Starostin and Alexandra Tsyban

Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices

Published in: VSTTE
Year: 2010
Pages: 71-85