English: Centre for Formal Design and Verification of the Software (CFDVS)
Telugu: సెంటర్ ఫార్మల్ డిజైన్ మరియు సాఫ్ట్వేర్ యొక్క ధృవీకరణ (CFDVS) కోసం