Предварительная программа семинара

Понедельник, 24 июня 2013 года.

Сессия 1

Время Модератор В. Захаров
10:00–10:30 V. A. Bashkin, I.A. Lomazova “ONE-DIMENSIONAL RESOURCE WORKFLOW NETS”
10:30–11:00 N.V. Vizovitin, V.A. Nepomniaschy, A.A. Stenenko “VERIFICATION OF UCM-SPECIFICATIONS OF DISTRIBUTED SYSTEMS USING COLOURED PETRI NETS”
11:00–11:30 N.O. Garanina “COMMON KNOWLEDGE IN WELL-STRUCTURED PERFECT RECALL SYSTEMS”

11:30–12:00 Кофе-брейк

Сессия 2

Время Модератор В. Непомнящий
12:00–12:30 M. Akhin, M.Belyaev, V. Itsykson “YET ANOTHER DEFECT DETECTION: COMBINING BOUNDED MODEL CHECKING AND CODE CONTRACTS”
12:30–13:00 P. Drobintsev, I. Nikiforov, V. Kotlyarov, A. Letichevsky “A FORMAL APPROACH FOR GENERATION OF TEST SCENARIOS BASED ON GUIDES”

Сессия 3

Время Модератор В. Ицыксон
15:00–15:30 A.E. Molchanov “AN ALGORITHM FOR THE EQUIVALENCE PROBLEM IN ONE CLASS OF GATEWAY RECURSIVE PROGRAM MODELS”
15:30-16:00 E. Chemeritsky, R. Smelyansky, V. Zakharov “A FORMAL MODEL AND VERIFICATION PROBLEMS FOR SOFTWARE DEFINED NETWORKS”
16:00-16:30 I.V. Maryasov, V.A. Nepomniaschy, A.V. Promsky, D.A. Kondratyev “AUTOMATIC C PROGRAM VERIFICATION BASED ON MIXED AXIOMATIC SEMANTICS”