(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)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ bo ] [ C ] [ ca ] [ ch ] [ ci ] [ co ] [ core ] [ cr ] [ de ] [ do ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ gi ] [ gn ] [ gy ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ iS ] [ it ] [ Lex ] [ li ] [ lS ] [ method ] [ methodology ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ nc ] [ ng ] [ ni ] [ op ] [ pe ] [ ph ] [ ping ] [ pr ] [ proof ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Se ] [ Si ] [ Sig ] [ So ] [ Software ] [ Spec ] [ St ] [ SVRC ] [ T ] [ th ] [ to ] [ tool ] [ tr ] [ tw ] [ uS ] [ V ] [ ve ] [ VR ] [ VRC ]