|
03.11.2004 г. |
На Первом международном симпозиуме по поддержке использования формальных методов (ISoLA 2004), проходившем в городе Пафос на Кипре с 30 октября по 2 ноября 2004 г., был сделан доклад об использовании технологии UniTESK для тестирования крупномасштабных программных систем. Симпозиум был задуман как место встречи исследователей в области формальных методов и практиков, успешно применяющих эти методы в промышленности, для обмена идеями, проблемами и подходами к их решению. На симпозиуме можно было получить реальное представление о возможных путях развития формальных методов и поддерживающих их инструментов с нацеленностью на практическое использование.
|
