โปรแกรมตาม webjetchecker.sf.net

โครงการนี้เสนอเครื่องมือสําหรับการตรวจสอบองค์ประกอบบริการเว็บอย่างเป็นทางการตาม Pi-calculus และการแปลงระหว่าง BPEL และ pi-calculus เครื่องมือนี้รวมเทคนิคการตรวจสอบอย่างเป็นทางการสองประเภทและสามารถตรวจสอบโดยอัตโนมัติ