프로그램별 webjetchecker.sf.net

이 프로젝트는 Pi-미적분과 BPEL과 pi-미적분 사이의 변환을 기반으로 웹 서비스 구성의 공식적인 검증을위한 도구를 제안합니다. 이 도구는 두 가지 형식 인증 기술을 통합하고 자동으로 유효성을 검사할 수 있습니다.