eXplode

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de eXplode

eXplode es un comprobador del sistema de almacenamiento. Contiene un comprobador de modelos genérico para código real en lugar de modelos abstractos. Con este comprobador de modelos, eXplode puede comprobar sistemáticamente un sistema de almacenamiento contra muchos posibles bloqueos para encontrar errores de recuperación de bloqueos.