Tarafından Programlar est.sf.net

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