Sciweavers

Share
JUCS
2010

Static Analysis of the XEN Kernel using Frama-C

8 years 3 months ago
Static Analysis of the XEN Kernel using Frama-C
: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
Armand Puccetti
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where JUCS
Authors Armand Puccetti
Comments (0)
books