The PEP tool 2.0b
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 5.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre The PEP tool
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)