资料来源 : Free On-Line Dictionary of Computing

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