Program menurut webjetchecker.sf.net

Proyek ini mengusulkan alat untuk verifikasi formal komposisi layanan web berdasarkan Pi-kalkulus dan konversi antara BPEL dan pi-kalkulus. Alat ini mengintegrasikan dua jenis teknik verifikasi formal dan dapat memvalidasi se