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
Word of the day
trigger-area
- Any point circumscribed area, irritation of which will give rise to functional action or disturbance elsewhere.
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