プログラム webjetchecker.sf.net

本プロジェクトでは、Pi微積分に基づくウェブサービスの組成の公式検証と、BPELとpi-微積分の変換のためのツールを提案する。このツールは、2 種類の正式な検証手法を統合し、自動的に検証できます。