![](/statics/img/blank.png)
eXplode
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 4.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
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.