Return Home

The History

The first Goanna research project started in 2005 to investigate the applicability of static analysis to systems software. Out of this project emerged a novel approach to software analysis that builds on model checking tools and techniques.

Publications

		Ansgar Fehnker, Ralf Huuck, Felix Rauch and Sean Seefried Analysing Embedded System Software Proceedings of C/C++ Verification Workshop, Oxford, UK, July, 2007 Extended abstract
		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch Model checking software at compile time Proceedings of the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, June, 2007
		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch Goanna — A Static Model Checker Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems, Bonn, Germany, August, 2006 Published in Lecture Notes in Computer Science, Springer-Verlag.
		Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco L4cars Embedded Security in Cars (escar 2005) Workshop, Cologne, Germany, November, 2005
		Gerwin Klein and Ralf Huuck High Assurance System Software Proc. 10th Australian Workshop on Safety Critical Systems and Software (SCS'05), Sydney, Australia, August, 2005

NICTA support

The Goanna testing and debugging tool is the result of a research and development undertaken with the labs of National ICT Australia (NICTA). Established in 2002, NICTA is a national organisation with five laboratories in four Australian cities: Melbourne, Sydney, Canberra and Brisbane.

NICTA's objective is to become a world-class research Institute and centre-of-excellence in science and innovation. NICTA brings together many of Australia's and the world's top researchers in ICT.

NICTA uniquely combines excellence in research, education, commercialisation and collaboration.

NICTA works in close collaboration with industry and other research institutions to solve problems and make breakthroughs in ICT which can be put to use for public benefit.

NICTA is an important part of Australia's innovation system and seeks to generate new opportunities for Australian industry. The organisation's focus is on use-inspired basic research to address the technology challenges facing industry, community, and the national interest.