Posts Tagged ‘model checking’
Goanna: What’s Different and Why Model Checking?
So what’s different about Goanna and why did we approach the static analysis challenge with model checking?
In case you weren’t aware; Goanna is the first static analysis tool to implement model checking after 4 years research at NICTA (National ICT Australia), which is Australia’s leading ICT government research organisation.
The result is that the key attributes for Goanna’s differences are as follows;
(more…)
Software Model Checking and Goanna
We are frequently asked whether Goanna is a software model checker. After all, we analyse software and use a model checker to do so. However, while Goanna uses a model checker in the background for part of its analysis, it is not a software model checker. In the typical meaning of the word. (more…)
