meaning of software verification research centre
1. Software Verification Research Centre SVRC A Special Research Centre of the Australian Research Council. Its mission is to create improved methods and tools, of industrial significance, for developing verified software. Two of the SVRCs core projects are the Cogito methodology and the Ergo proof tool.
Related Words
software verification research centre |
