Программы ditto-java.sf.net

Хотите написать структуру данных выполнения invariant проверить, чтобы найти ошибку, но не может выдержать замедление? То же самое поможет. Он автоматически оптимизирует такие проверки так, чтобы они запускаются в 10 раз быст