Программы czt.sf.net

Проект «Сообщество и инструменты» (КЗТ):Инструменты для редактирования, проверки типов и анимацииспецификации и связанные с ними нотации.Включает в себя java-рамки для создания формальных инструментов методов.