提交软件

开发者 webjetchecker.sf.net

  • a validating tool of BPEL programme 免费

    本项目提出了一个基于Pi-微积分和BPEL和pi微积分之间的转换正式验证Web服务构成的工具。此工具集成了两种正式验证技术，可以自动验证。