Programmi di rcs.cs.columbia.edu/explode.html

eXplode è un controllore del sistema di archiviazione. Contiene un controllo del modello generico per il codice reale anziché modelli astratti. Utilizzando questo controllo del modello, eXplode può controllare sistematicament