Programmes par rcs.cs.columbia.edu/explode.html

eXplode est un contrôleur de système de stockage. Il contient un p checker modèle générique pour le code réel au lieu de modèles abstraits. À l’aide de ce modèle de contrôle, eXplode peut systématiquement vérifier un système