Создан заказ №2922179
23 апреля 2018
Обзор на тему инструмента, языка, кейса (в зависимости от темы)
Как заказчик описал требования к работе:
Что хочется получить:
1) Небольшой (5-8) страниц обзор на тему инструмента, языка, кейса (в зависимости от темы). Презентация не нужна, только непосредственно текст.
2) Список источников литературы, из которых взята информация с ссылками прямо в тексте (ну по сути как в дипломе). Просьба ориентирова
ться на наиболее свежие источники, по большинству тем это возможно. Давайте ограничимся годом 2012-2013-м. Я когда подбирал темы большинство взял из статей, которые были представлены на последних конференциях по верификации, так мне кажется проще начинать поиск.
3) В вопросах по инструментам, особенно model checking очень интересует: 1. возможности по распараллеливанию алгоритмов и решения направленные на использование на суперкомпьютерах 2. Использование в инструментах различных методов позволяющих сократить пространство состояний, про которые мы сегодня говорили, особенно интересует символьная верификация.
4) Интересно получить ссылки на инструменты, особенно в случае наличия открытых версий
5) По сутевому содержанию вопросы на которые надо ответить. Как верифицируем? Какие нотации используем? Какие инструменты-решения существуют? Примеры проектов со ссылками? Сравнение с существующими инструментами? Преимущества и недостатки? ну и так далее, в общем стандартно достаточно.
Прикрепил файл с темами, зелёные заняты
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
26 апреля 2018
Заказ завершен, заказчик получил финальный файл с работой
5
Обзор на тему инструмента, языка, кейса (в зависимости от темы).docx
2018-04-29 15:29
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Все супер, вовремя, работа оформленная согласно методички, так де был предоставлен материал (сайт) на основе которого была и создана работа!
Хочешь такую же работу?
300 ₽
