Написать статью по теме верификаторов

Нужно взять схожую тему диплома: Разработка инструмента верификации систем на основе Spin

и написать статью, выполнив 3 задания

1.Задание

созданы документы, содержащие описание проблемы, ОИ, ПИ, цели, задач, актуальности вашего исследования. Суммарно в документах должно быть не менее 300 знаков.

1. problem.md
2. research_object.md
3. research_subject.md
4. goal.md
5. tasks.md
6. relevance.md

2 задание

Приведите краткие описания каждого аналога вашего решения, предложите объективные и измеримые (лучше количественные, но можно качественные) критерии для их сравнения (опирающиеся на цель), выполните сравнение, опишите вывод по его итогам.

## Сравнение аналогов

## Принцип отбора аналогов

Опишите в одном абзаце, по какому принципу вы искали аналоги. Описание должно быть воспроизводимым, то есть ваш читатель должен суметь по нему найти ваши аналоги.

###

его краткое описание

…..

###

его краткое описание

## Критерии сравнения аналогов

###

его краткое описание и обоснование

###

его краткое описание и обоснование

###

его краткое описание и обоснование

## Таблица сравнения по критериям

## Выводы по итогам сравнения

## Источники

Нумерованный список источников

На основании обзора аналогов и вывода по его результатам, а также ваших собственных обоснованных предположений, опишите (в solution_method_selection.md):

1. каким должно быть решение в целом (что должно собой представлять - приложение, скрипт, модель ….),
2. какими качествами должно обладать решение,
3. каким способом ваше решение должно удовлетворять критериям из обзора.

Либо, если ваша задача была больше про выбор технологии, опишите в выборе метода решения способ применения (желательно, его тоже опереть на обзор):

1. (обязательно) чем и каким должно быть решение в целом (что должно собой представлять - приложение, скрипт, модель ….),
2. каким способом выбранная технология будет использоватся в решении (протоколы, архитектура подключения, паттерны ),
3. какие эксперименты стоит проделать для оценки качества работы технологии,

При описании выбора метода решения запрещается повторять критерии в иной формулировке без дополнительной конкретики (иначе не очень понятно, зачем нужен был ваш обзор).

критерии

1. есть характеристика каждого аналога,
2. есть описание принципа отбора аналогов,
3. есть описание каждого критерия и обоснование, почему именно он важен для поставленной вами цели / решаемой задачи,
4. есть таблица сравнения
5. есть вывод по итогам сравнения,
6. три критерия,
7. пять аналогов,
8. есть не менее пяти ссылок на источники,

3 задание

#

Ключевые слова: не менее трех ключевых слов

## Аннотация

## Введение

Содержание данного раздела является развитием “Подготовка ответов на ключевые вопросы”.

##

## Выбор метода решения

## Описание метода решения

## Исследование метода решения (если есть)

## Заключение

## Список литературы

Критерии

• Созданы все необходимые разделы.
• Аннотация написана в совершенном времени.
• Между разделами есть смысловые связки.
• Выполнены требования Задания №1 ( == в статье поставлена цель, обозначены задачи, присутствует проблема, понятен предмет и объект исследования).
• Выполнены требования Задания №2 ( == в статье есть обзор).
• В Выводах описан краткий результат решения каждой из поставленных Задач.
• Каждое ключевое слово упоминается в основном тексте хотя бы один раз.
• Все элементы списка литературы имеют минимум одно упоминание в тексте (вот так [1]).
• Все рисунки имеют подрисуночные подписи и ссылки в тексте.
• Все таблицы имеют подписи и ссылки в тексте.