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}.



< Previous Terms Terms Containing Software Verification Research Centre Next Terms >
software reliability
software rot
software theft
Software through Pictures
software tool
 SVRC
 Software Writer's Language
softwarily
softy
SOH
SOHIO