Using the Cambridge ARM Model to Verify the Concrete Machine Code of seL4
Presented as part of the
2011 HCSS conference
.
License:
Creative Commons 2.5
Magnus Myreen
Other available formats:
Using the Cambridge ARM Model to Verify the Concrete Machine Code of seL4
Switch to normal viewer
Switch to experimental viewer
