(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 Ergoproof tool. (1995-11-14)