(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)