Software Verification Research Centre

from The Free On-line Dictionary of Computing (8 July 2008)

Software Verification Research Centre

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