eXplode

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos

Sobre eXplode

EXplode é um verificador de sistema de armazenamento. Contém um verificador de modelo genérico para código real em vez de modelos abstratos. Usando este verificador de modelo, o eXplode pode verificar sistematicamente um sistema de armazenamento contra muitos possíveis falhas para encontrar erros de recuperação de falhas.