SOFTWARE VERIFICATION RESEARCH CENTRE
\sˈɒftwe͡ə vˌɛɹɪfɪkˈe͡ɪʃən ɹɪsˈɜːt͡ʃ sˈɛntə], \sˈɒftweə vˌɛɹɪfɪkˈeɪʃən ɹɪsˈɜːtʃ sˈɛntə], \s_ˈɒ_f_t_w_eə v_ˌɛ_ɹ_ɪ_f_ɪ_k_ˈeɪ_ʃ_ə_n ɹ_ɪ_s_ˈɜː_tʃ s_ˈɛ_n_t_ə]\
Definitions of SOFTWARE VERIFICATION RESEARCH CENTRE
Sort: Oldest first
-
(SVRC) A Special Research Centre of the AustralianResearch Council. Its mission is to create improved methodsand tools, of industrial significance, for developingverified software. Two of the SVRC's core projects are theCogito methodology and the Ergo proof tool.
By Denis Howe
Nearby Words
- software tool
- software tools
- software validation
- software validations
- software verification
- Software Verification Research Centre
- software verifications
- software writer's language
- softwarily
- softwood
- softy