Paper Details

@InProceedings{NicoleEllis03,
  title = "occam for reliable embedded systems: lightweight runtime and model checking",
  author= "Nicole, Denis A. and Ellis, Sam and Hancock, Simon",
  editor= "Broenink, Jan F. and Hilderink, Gerald H.",
  pages = "167--172",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2003",
  isbn= "1 58603 381 6",
  year= "2003",
  month= "sep",
  abstract= "We describe some more recent developments of the SPoC
     system. We describe a new module in the occam compiler which
     performs substantial simplifications of the run-time demands
     made by the compiled code. This has been used successfully
     both to target a simple PIC microcontroller and to generate
     input for the SMV model checker."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.