Compositional Verification of a Baby Virtual Memory Manager.

Alexander Vaynberg Zhong Shao

Published in: CPP (2012)

Keyphrases

virtual memory
buffer management
operating system
main memory
virtual machine
management system
data structure
low cost
database management systems
databases
real time
wireless sensor networks
computer networks
real time database systems
storage management