Программы rcs.cs.columbia.edu/explode.html

eXplode является проверкой системы хранения данных. Он содержит общую проверку модели для реального кода, а не абстрактных моделей. Используя эту проверку моделей, eXplode может систематически проверять систему хранения данны