Skip to main content

Goanna — a static model checker


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



BibTeX Entry

    author           = {Fehnker, Ansgar and Huuck, Ralf and Lussenburg, Michel and Rauch, Felix and Jayet, Patrick},
    editor           = {{Lubos Brim and Boudewijn R. Haverkort and Martin Leucker and Jaco van de Pol}},
    month            = aug,
    series           = {Lecture Notes in Computer Science},
    year             = {2006},
    title            = {Goanna --- A Static Model Checker},
    pages            = {297--300},
    volume           = {4346},
    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


Served by Apache on Linux on seL4.