Red Lizard Software
From Wikipedia, the free encyclopedia
 |
The topic of this article may not meet Wikipedia's notability guidelines for products and services. Please help to establish notability by adding reliable, secondary sources about the topic. If notability cannot be established, the article is likely to be merged, redirected, or deleted. (September 2010) |
 |
This article relies largely or entirely upon a single source. Please help improve this article by introducing citations to additional sources. Discussion about the problems with the sole source used may be found on the talk page. (September 2010) |
 |
|
| Type | Proprietary Limited Company |
|---|---|
| Industry | Software |
| Founded | 2009 |
| Headquarters | Sydney, Australia |
| Products | Goanna Static Analysis |
| Employees | N/A |
| Website | www.RedLizards.com |
Red Lizard Software is a privately held software vendor for static analysis tools. The company was founded in 2009 as a spinout from NICTA, after four years of research. Its headquarters are in Sydney, Australia.
[edit] Products
Goanna is a static analysis tool for C and C++ source code. It is provided as an integrated tool either in Eclipse on Linux or Visual Studio on Windows. Goanna is based on model checking techniques and uses the NuSMV tool as one of its analysis engines for software bug detection[1][2].
[edit] References
- ^ Ansgar Fehnker, Joerg Brauer, Ralf Huuck, Sean Seefried. Goanna: Syntactic Software Model Checking. 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, Korea, October 20–23, 2008 .
- ^ 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 6–8, 2007
[edit] External links
- Red Lizard Software company website
- NICTA R&D website
