Programma's van rcs.cs.columbia.edu/explode.html

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 o