Parametric Verification of Address Space Separation.

Jason Franklin Sagar Chaki Anupam Datta Jonathan M. McCune Amit Vasudevan

Published in: POST (2012)

Keyphrases

address space
operating system
shared memory
virtual memory
internet protocol
ip addresses
parallel execution
multi dimensional
end to end
database
formal methods
buffer management