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

EXplode é um verificador de sistema de armazenamento. Contém um verificador de modelos genérico para código real em vez de modelos abstratos. Utilizando este verificador de modelos, o eXplode pode verificar sistematicamente u