Descrição
Modelos de Communicating Sequential Processes podem ser verificados quanto a propriedades de refinamento em fluxos de verificação formal.
É uma ferramenta especializada de verificação para pesquisadores, estudantes e engenheiros. Resultados exigem entender o modelo CSP e a propriedade verificada.