Tarafından Programlar webjetchecker.sf.net

Bu proje, Pi-kalkülüs ve BPEL ve pi-kalkülüs arasındaki dönüşüme dayalı web hizmetleri kompozisyonunun resmi olarak doğrulanması için bir araç önermektedir. Bu araç, iki tür resmi doğrulama tekniğini tümleştirir ve otomatik o