Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Software Verification Research Centre

You are here: irt.org | FOLDOC | 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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb