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

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