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