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

Dự án này đề xuất một công cụ để xác minh chính thức thành phần dịch vụ web dựa trên Pi-calculus và chuyển đổi giữa BPEL và pi-calculus. Công cụ này tích hợp hai loại kỹ thuật xác minh chính thức và có thể xác nhận tự động.