Goanna
Published in
1 min readSep 23, 2005
The project on which I am working at the moment at the National ICT Australia is called Goanna. It is a project of verification of C/C++ code using some formal method algorithms and a model checker. More informations about it in the link below: