Verimli Sembolik Araçlar paketi (EST), eşzamanlı sistemlerin resmi olarak doğrulanması için BDD tabanlı bir araçtır. Avantajları esneklik, taşınabilirlik ve verimli bir bellek yönetimidir. Linux ve Windows 2000/XP dahil olmak üzere farklı işletim sistemi altında çalışır.
sürüm geçmişi
- Sürüm N/A tarihinde gönderildi 2006-10-09
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2006-10-09
Program Detayları
- Kategori: Iletişim > Diğer
- Yayımcı: est.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: windows