Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Goanna

Known as: Goanna (disambiguation) 
Goanna is a fork of the Netscape/Mozilla-sourced Gecko engine, and shares many of its features. It is designed to support open Internet standards… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
  • R. K. McLean
  • IEEE Sixth International Conference on Software…
  • 2012
  • Corpus ID: 12453538
Software vulnerabilities present a significant impediment to the safe operation of many computer applications, both proprietary… Expand
  • table I
  • table III
  • table II
  • figure 1
  • figure 2
Is this relevant?
2011
2011
Many embedded systems today are no longer isolated control units, but are fully fledged miniature desktops with their own kernel… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2010
2010
In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2010
2010
Adaptive systems are often composed of distributed components that co-operate in order to achieve a global behaviour, and yet… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 8
Is this relevant?
2009
2009
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike… Expand
  • figure 2
  • figure 4
  • figure 5
  • figure 6
  • table 1
Is this relevant?
2008
2008
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike… Expand
  • figure 1
Is this relevant?
2007
2007
Abstract Rosenberg's goanna, Varanus rosenbergi, is listed as ‘Vulnerable’ in New South Wales, but it is not currently listed… Expand
Is this relevant?
2006
2006
In this work we present Goanna, the first tool that uses an off-the-shelf model checker for the static analysis of C/C++ source… Expand
  • figure 1
Is this relevant?
1998
1998
Meanwhile at the International Commission of Zoological Nomenclature (ICZN) and elsewhere the battle to ‘legally’ resurrect the… Expand
Is this relevant?
1981
1981
Goannas are a part of Australian folklore as they were important to Aboriginal Australians who had specific rituals connected to… Expand
Is this relevant?