Programas por rcs.cs.columbia.edu/explode.html

eXplode es un comprobador del sistema de almacenamiento. Contiene un comprobador de modelos genérico para código real en lugar de modelos abstractos. Con este comprobador de modelos, eXplode puede comprobar sistemáticamente u