Programmi di webjetchecker.sf.net

Questo progetto propone uno strumento per la verifica formale della composizione dei servizi web basato sul Pi-calculus e la conversione tra BPEL e pi-calculus. Questo strumento integra due tipi di tecniche di verifica formal