Programmes par webjetchecker.sf.net

Ce projet propose un outil de vérification formelle de la composition des services Web basé sur pi-calcul et la conversion entre BPEL et pi-calcul. Cet outil intègre deux types de techniques formelles de vérification et peut