Chương trình theo est.sf.net

Gói Công cụ Biểu tượng Hiệu quả (EST) là một công cụ dựa trên BDD để xác minh chính thức các hệ thống đồng thời. Ưu điểm của nó là tính linh hoạt, tính di động và quản lý bộ nhớ hiệu quả. Nó chạy dưới hệ điều hành khác nhau,