Programas por peptool.sf.net

Pep é uma estrutura de modelagem e verificação para sistemas paralelos, fornecendo um grande número de diferentes linguagens de modelagem e técnicas de verificação (por exemplo, SDL, redes de Petri e verificação de modelos)