Проект The KeY to Software Correctness подойдет тем, кому интересно, как можно автоматически доказывать правильность работы кода.
Он автоматизирует проверку кода на Java.
Скрытое содержимое могут видеть только пользователи групп(ы): Premium, Местный, Свои
