(body)(SVRC) A Special Research Centre of the AustralianResearch Council. Its mission is to create improved methodsand tools, of industrial significance, for developingverified software. Two of the SVRC's core projects are theCogito methodology and the Ergo proof tool.AcronymsSeeSVRC