Добрый день, я студент магистратуры, который в настоящее время работает над моей диссертацией, которая предполагает использование формального метода, чтобы доказать правильность моего заявления.Приложение о системе управления светофора, и я написал его в Java, у него есть симулятор, который контролирует.Теперь я выбрал FindBugs в качестве инструмента для проверки правильности моей системы моделирования, но у меня возникают трудности с настройкой FindBugs после установки.Пожалуйста, не могли бы вы помочь мне с некоторыми путеводителем.Я использую Windows Vista OS, хотя я прочитал учебник и руководство, я все еще могу настроить его.Пожалуйста, помогите или мне нужен какой-либо язык спецификации?