EXplode é um verificador de sistema de armazenamento. Contém um verificador de modelos genérico para código real em vez de modelos abstratos. Utilizando este verificador de modelos, o eXplode pode verificar sistematicamente um sistema de armazenamento contra muitas falhas possíveis para encontrar erros de recuperação de acidentes.
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 de Sistema > Outros
- Editor: rcs.cs.columbia.edu/explode.html
- Licença: Grátis
- Preço: N/A
- Versão: Array
- Plataforma: windows