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

Slicefy Бесплатный

Инструмент для спецификации и проверки параллельных систем с помощью срезов.