Формальная верификация как средство тестирования в Java