Other software/material for download:
| Name |
Description |
Link |
| g12 |
Constraint Programming Platform for solving combinatorial optimisation problems. |
|
| Goanna | Goanna provides fully automatic deep static source code analysis for serious software bugs. License: Per machine license - for more details visit The Goanna website |
|
| seL4 | Operating system microkernel which has been formally proven to conform to its specification. License: See seL4 website |
 link to software |
| UserMetrix |
Software usage metrics, feedback and error reporting. |
link to software |