कुशल प्रतीकात्मक उपकरण पैकेज (ईएसटी) समवर्ती प्रणालियों के औपचारिक सत्यापन के लिए एक बीडीडी आधारित उपकरण है। इसके फायदे लचीलापन, पोर्टेबिलिटी और एक कुशल मेमोरी मैनेजमेंट हैं । यह लिनक्स और विंडोज 2000/XP सहित विभिन्न ओएस के तहत चलता है ।
संस्करण इतिहास
- विवरण N/A पर तैनात 2006-10-09
कई सुधार और अपडेट - विवरण N/A पर तैनात 2006-10-09
कार्यक्रम विवरण
- कोटि: संचार > अन्य
- प्रकाशक: est.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows