द्वारा कार्यक्रम est.sf.net

कुशल प्रतीकात्मक उपकरण पैकेज (ईएसटी) समवर्ती प्रणालियों के औपचारिक सत्यापन के लिए एक बीडीडी आधारित उपकरण है। इसके फायदे लचीलापन, पोर्टेबिलिटी और एक कुशल मेमोरी मैनेजमेंट हैं । यह लिनक्स और विंडोज 2000/XP सहित विभिन्न ओएस के त