本專案提出了一個基於Pi-微積分和BPEL和pi微積分之間的轉換正式驗證Web服務構成的工具。此工具集成了兩種正式驗證技術,可以自動驗證。
版本歷史記錄
- 版本 webjetCheck1.0_src.zip 發佈於 2006-12-13
若干修復和更新 - 版本 webjetCheck1.0_src.zip 發佈於 2006-12-13
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: webjetchecker.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.0
- 作業系統: windows