Сделать лабораторные работы на Питоне
Выполнен
Срок сдачи
10 Фев 2024 в 18:00
Цена
0 ₽
Блокировка
10 дней
Размещен
5 Фев 2024 в 17:42
Просмотров
5
Описание работы
1. Реализовать проверку CTL-формул на произвольной структуре Крипке.
2. Реализовать проверку LTL-формул на произвольной структуре Крипке. Если формула не выполняется, то необходимо указать контр-пример.
Основной источник: Ю. Г. Карпов ModelChecking (там находятся алгоритмы)
Алгоритмы реализовать самостоятельно, стараться по минимуму использовать сторонние библиотеки. Все строки кода должны быть пояснены.
Важно! Детали выполнения будут обсуждаться в личных сообщениях по ходу работы! Первую лабораторную надо сдать до конца февраля.
2. Реализовать проверку LTL-формул на произвольной структуре Крипке. Если формула не выполняется, то необходимо указать контр-пример.
Основной источник: Ю. Г. Карпов ModelChecking (там находятся алгоритмы)
Алгоритмы реализовать самостоятельно, стараться по минимуму использовать сторонние библиотеки. Все строки кода должны быть пояснены.
Важно! Детали выполнения будут обсуждаться в личных сообщениях по ходу работы! Первую лабораторную надо сдать до конца февраля.
Нужна такая же работа?
- Разместите заказ
- Выберите исполнителя
- Получите результат
| Гарантия на работу | 1 год |
| Средний балл | 4.96 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |
Время выполнения заказа:
4 дня 2 часа 18 минут
Выполнен в срок
Отзыв о выполненном заказе
Долгое время не везло с авторами, но это попадание абсолютно в точку!
Очень обязательный исполнитель, всегда на связи, профессионально подходит к своим заказам.
С удовольствием еще поработаю с таким заказчиком!
Очень обязательный исполнитель, всегда на связи, профессионально подходит к своим заказам.
С удовольствием еще поработаю с таким заказчиком!
Предыдущий заказ
Следующий заказ
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
