model-checking Май 2009

model-checking@asvk.cs.msu.ru

1 участники
4 обсуждения

Корректировка времени консультации
by model checking course mailing list 20 Май '09

20 Май '09

Господа (и дамы), Как гласит расписание консультаций, завтрашняя консультация состоится в 15:00, а не в 14:00, как я писал ранее. Прошу прощения за неточную информацию. С уважением, Константин Савенков.

1 0

Консультация и экзамен
by model checking course mailing list 18 Май '09

18 Май '09

Господа и дамы, Консультация к экзамену состоятся 21 мая с 14:00 до 15:00 в ауд П-5. Вопросы, выложенные на http://docs.google.com/Doc?id=dhf679dj_10dhnfpv28, актуальны и в этом году. С уважением, Константин Савенков.

1 0

Зачёты и 11 мая
by model checking course mailing list 08 Май '09

08 Май '09

Господа, Вы меня слегка дезинформировали -- 11 мая по расписанию занятий нет, поскольку 11 мая -- это уже зачётная сессия. Таким образом, встречаемся 13, 15 и 18 мая, на зачётах. На зачёте можно сдавать 4 и 5 задания. С уважением, Константин Савенков.

1 0

Re: [model-checking] Model checking task 5
by model checking course mailing list 07 Май '09

07 Май '09

Справедливо, Евгений! Должно быть **Например, формула <>!a удовлетворяет данному требованию, а формула !<>a -- нет.** С уважением, Константин Савенков. Картавец Евгений пишет: > Признаюсь, фраза, выделенная жирным шрифтом, ввела меня в некоторое > затруднение. > (**Например, формула !<>a удовлетворяет данному требованию, а формула > !<>a -- нет.** ) > >> Дано: >> >> Описание на естественном языке трёх свойств, которым должна удовлетворять некоторая программа. >> >> Выполнить: >> >> Для каждого свойства ввести при помощи конструкций #define необходимые пропозициональные символы и составить формулу логики LTL. >> >> Требования к решению: >> >> При описании пропозициональных символов разрешается использовать предикаты, ограничивающие значения переменных, упоминаемых в формулировке свойства на естественном языке, а также ссылки на метки в тексте программы. >> >> Предполагается< что код программы при проверке свойства не модифицируется. Таким образом, использование различных вспомогательных переменных (счётчиков, флагов итп) не допускается. >> >> Оператор ! (отрицание) разрешено применять лишь непосредственно к пропозициональным символам. *Например, формула !<>a удовлетворяет данному требованию, а формула !<>a -- нет.* >> >> Решение задания можно присылать по почте или сдавать на зачёте. >> >> Сроки зачётов (ауд. 758): >> >> 13 мая (первые 3 пары) -- АСВК >> 15 мая (первая пара) -- АЯ >> 18 мая (первые 3 пары) -- СП + все, кто не успел сдать. >> >> На зачёте будет происходить сдача 5-го задания и проставление оценок за практикум (студентам АСВК -- в ведомость). >

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking Май 2009