Programma's van webjetchecker.sf.net

Dit project stelt een instrument voor voor de formele verificatie van de samenstelling van webservices op basis van Pi-calculus en de conversie tussen BPEL en pi-calculus. Deze tool integreert twee soorten formele verificatie