< body > (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 SVRC's core projects are the Cogito methodology and the Ergo proof tool .
(1995-11-14)