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.
história da versão
- Versão files postado em 2009-09-19
Várias correções e atualizações - Versão N/A postado em 2009-09-19
Detalhes do programa
- Categoria: Utilitários do sistema > Outros
- Editor: rcs.cs.columbia.edu/explode.html
- Licença: Livre
- Preço: N/A
- Versão: Array
- Plataforma: windows