LTL3 tools 0.0.7
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.7/5 - 3 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О LTL3 tools
Коллекция инструментов, которые могут быть использованы для создания мониторов (квота;сторожевые псы;) из формул LTL. Это известно из области проверки времени выполнения. Для получения дополнительной информации смотрите домашнюю страницу связанного проекта.