Programy według webjetchecker.sf.net

W ramach tego projektu zaproponowano narzędzie do formalnej weryfikacji składu usług internetowych w oparciu o rachunek Pi i konwersji między BPEL a pi-calculus. To narzędzie integruje dwa rodzaje technik weryfikacji formalne