db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{Ellis11,
  title =        "{F}ormal {A}nalysis of {C}oncurrent {OS} ({RM}o{X}) {D}evice {D}rivers",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Ellis,  Martin",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Welch, Peter H. and Sampson,  Adam T. and Pedersen,  Jan Bækgaard and Kerridge,  Jon and Broenink,  Jan F. and Barnes,  Frederick R. M.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "--",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn=          "978-1-60750-773-4",
  year=          "2011",
  month=         "jun",
  abstract=      "Many tools exists for writing safe and correct device
     drivers for conventional
operating systems, from runtime
     driver management layers (that try to detect
errors and
     recover from them) to static analysis systems like
     SLAM.
Unfortunately, these tools do not map well to the
     concurrent drivers we write for
RMoX.  This presentation
     will look at how we can build safe and correct device
     drivers,
using traditional occam analysis approaches (such
     as CSP) and tools (such as FDR).
Experiments in generating
     formal models of hardware/driver interfaces from our
     occam
implementations will be described, along with how we
     intend to use these models to
prove correctness properties
     for our drivers."
}