Исследования
Две проверки, которые можно прочитать.
Сначала вопрос и короткий результат, затем условия и граница. Отдельного каталога стендов здесь нет.
До ответа
Остаются ли состояния различимыми до ответа?
В ограниченной статической проверке несколько заранее заданных внутренних состояний оставались различимыми до формирования ответа.
Проверка завершена
Подробнее Последовательный прогонПоявляются ли конфликтующие решения?
В ограниченном последовательном прогоне при нескольких событиях конфликтующее решение не наблюдалось. При неопределённости искусственный результат не был обязателен.
Проверка завершена
ПодробнееПроверка состояния до ответа
- Условия: ограниченный статический набор заранее заданных состояний, без формирования ответа.
- Состояния остались различимыми.
- Граница: результат относится только к этой проверке.
Согласованность решения в последовательном прогоне
- Условия: один ограниченный последовательный прогон с несколькими событиями.
- Конфликтующее решение не наблюдалось. При неопределённости искусственный результат не был обязателен.
- Граница: вывод относится только к этому прогону.
Если нужны дополнительные материалы, напишите автору.