eXplode

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over eXplode

eXplode is een controleer van het opslagsysteem. Het bevat een generieke modelchecker voor echte code in plaats van abstracte modellen. Met behulp van deze modelchecker kan eXplode systematisch een opslagsysteem controleren op vele mogelijke crashes om crash-recovery-fouten te vinden.