@InProceedings{Alkassar:VSTTE2010-71,
  author =       "Eyad Alkassar and Wolfgang Paul and Artem Starostin
                 and Alexandra Tsyban",
  title =        "Pervasive Verification of an {OS} Microkernel:
                 {Inline} Assembly, Memory Consumption, Concurrent
                 Devices",
  pages =        "71--85",
  ee =           "http://dx.doi.org/10.1007/978-3-642-15057-9_5",
  booktitle =    "Verified Software: Theories, Tools, Experiments (VSTTE
                 2010)",
  address =      "Edinburgh, UK",
  year =         "2010",
  month =        aug,
  editor =       "Peter O'Hearn and Gary T. Leavens and Sriram
                 Rajamani",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "6217",
}