Programas por webjetchecker.sf.net

Este proyecto propone una herramienta para la verificación formal de la composición de los servicios web basada en pi-cálculo y la conversión entre BPEL y pi-calculus. Esta herramienta integra dos tipos de técnicas de verific