Trustworthy Systems

Goanna — a static model checker

Authors

Ansgar Fehnker, Ralf Huuck, Michel Lussenburg, Felix Rauch and Patrick Jayet

NICTA

Abstract

BibTeX Entry

  @inproceedings{Fehnker_HLRJ_06,
    author           = {Fehnker, Ansgar and Huuck, Ralf and Lussenburg, Michel and Rauch, Felix and Jayet, Patrick},
    booktitle        = {Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th
                        International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
                        Papers},
    editor           = {{Lubos Brim and Boudewijn R. Haverkort and Martin Leucker and Jaco van de Pol}},
    month            = aug,
    pages            = {297--300},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/130.pdf},
    series           = {Lecture Notes in Computer Science},
    title            = {Goanna --- A Static Model Checker},
    volume           = {4346},
    year             = {2006}
  }

Download