![](/statics/img/blank.png)
The PEP tool 2.0b
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 5.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về The PEP tool
PEP là một khuôn khổ mô hình hóa và xác minh cho các hệ thống song song, cung cấp một số lượng lớn các ngôn ngữ mô hình hóa và kỹ thuật xác minh khác nhau (ví dụ: SDL, lưới Petri và kiểm tra mô hình)