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)
Nearby terms:
software theft « Software through Pictures «
software tool «
Software Verification Research Centre » Software
Writer's Language » softwarily » softy
|
