Программы webjetchecker.sf.net

Этот проект предлагает инструмент для формальной проверки состава веб-сервисов на основе Pi-исчисления и преобразования между BPEL и pi-исчислением. Этот инструмент интегрирует два вида формальных методов проверки и может авт