Programas por webjetchecker.sf.net

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