Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Software Verification Research Centre
Jump to user comments
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.