Efficient Symbolic Tools
Lisans: Ücret -siz Dosya boyutu: N/A
Kullanıcı Derecelendirmesi: 3.5/5 - 8 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda Efficient Symbolic Tools
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.