Skip to main content

Goanna — A Static Model Checker

Authors

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

National ICT Australia
Sydney
Australia

School of Computer Science and Engineering
University of New South Wales
Sydney
Australia

Department of Computer Science
Swiss Federal Institute of Technology (ETH)
Zurich
Switzerland

Published in Lecture Notes in Computer Science, Springer-Verlag (Vol. 4346).

Abstract

BibTeX Entry

  @inproceedings{Fehnker_HJLR_06,
    author           = {Ansgar Fehnker and Ralf Huuck and Patrick Jayet and Michel Lussenburg and Felix Rauch},
    month            = aug,
    year             = {2006},
    title            = {Goanna --- {A Static Model Checker}},
    address          = {Bonn, Germany},
    pages            = {297--300},
    booktitle        = {Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems
                        (FMICS)},
    paperurl         = {https://ts.data61.csiro.au/publications/nicta_full_text/130.pdf}
  }

Download

Served by Apache on Linux on seL4.