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.
(1995-11-14)
Related search result for "Software Verification Research Centre"
Comments and discussion on the word "Software Verification Research Centre"