Programas por peptool.sf.net

O PEP é um quadro de modelização e verificação de sistemas paralelos, proporcionando um grande número de diferentes linguagens de modelização e técnicas de verificação (por exemplo, SDL, redes Petri e verificação de modelos)