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.
versiegeschiedenis
- Versie files geplaatst op 2009-09-19
Verschillende oplossingen en updates - Versie N/A geplaatst op 2009-09-19
Programmadetails
- Categorie: Systeemvoorzieningen > Andere
- Publisher: rcs.cs.columbia.edu/explode.html
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows