News (2)

  • NICTA touts prototype code-analysis tool

    National ICT Australia (NICTA), a research institute that attempts to commercialise projects from a selection of the country's finest academics, has been demonstrating an analysis tool that scans code for bugs and security vulnerabilities.

  • NICTA opens new Sydney lab

    National ICT Australia has opened a new research laboratory in Sydney that could eventually house up to 170 scientists.

Create an e-mail alert for "formal methods"
ZDNet Australia Alerts is an e-mail alert service which provides personalised news, features and reviews to readers’ inbox on an hourly, daily and weekly basis.
Alert:
formal methods


Frequency: *

Latest Videos

Sponsored content

Power Centre - Content from our premier sponsors

Blogs

Back to top

Featured