Programas por webjetchecker.sf.net

Este projeto propõe uma ferramenta para verificação formal da composição dos serviços web com base no cálculo Pi e na conversão entre o BPEL e o pi-cálculo. Esta ferramenta integra dois tipos de técnicas formais de verificaçã