Фирма Time-Rover выпустила средство разработки Temporal-Rover, позволяющее описать поведение программы с помощью формальных методов временной логики (temporal logic) и тестировать программы на основе этого описания. Продукт Temporal-Rover очень полезен, так как после отладки гарантируется заданное поведение программы. Пока Temporal-Rover поддерживает разработку ПО на Java, в дальнейшем будут выпущены версии для Си и Си++. Неполную версию программы можно переписать с Web-узла: www.timerover.com/ TRindex.html.
С. Б.
