ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
9:1510:30First morning session devoted to the anniversary of Alexander K. Petrenko (chair - Nikolay Shilov)
2
9:159:30Openning
3
9:3010:30Alexander K. PetrenkoThe position of formal methods in nowadays software industrial development (invited talk). Abstract
4
10:3011:00Refreshment break
5
11:0012:30Second morning session devoted to the anniversary of Alexander K. Petrenko (chair - Vladimir Zakharov)
6
11:0011:30Alexander S. KamkinHigh-Level Synthesis of Computing Systems: Motivation, Challenges, and Existing Solutions (invited talk). Abstract
7
11:3012:00Victor V. KuliaminFormal Security Models (invited talk). Abstract
8
12:3012:30Alexey V. KhoroshilovVerification of operating systems (invited talk). Abstract
9
12:3013:30Lunch break
10
13:3014:30First afternoon session - talks from co-organizer - A.P. Ershov Institute of Informatics Systems (chair - Irina Lomazova)
11
13:3014:00Nataliya O. GaraninaAttention: talk was moved to the next day because of technical problems. The Optimization Problem with Model Checking (invited talk). Abstract
12
14:0014:30Dmitry A. KondratyevAutomatic deductive verification of C programs using the C-lightVer system (invited talk). Abstract
13
14:3015:00Refreshment break
14
15:0016:45Second afternoon session - contributed tlks (chair - Manuael Mazzara)
15
15:0015:30Anton Gnatenko and Vladimir ZakharovSatisfiability and model checking for one extension of Linear temporal logic (regular talk). Abstract
16
15:3016:00Alexander Bolotov, Alex Abuin Yepes, Paqui Lucio and Montserrat HermoComplementing Tableaux-based Satisfiability Algorithm for CTL by Certifying Sequent Proofs and Models (regular talk). Abstract
17
16:0016:15Thanh-Hai Tran, Igor Konnov and Josef WidderModel checking of Skeen's atomic multicast protocol (short talk). Abstract
18
16:1516:30 Julio Cesar CarrasquelValidating Real Behavior of Agents in Trading Systems using Nested Petri Nets (short talk). Abstract
19
16:3016:45Nikolay Shilov, Dmitry Kondratyev and Boris FaifelPlatform-independent model of fix-point arithmetic for verification of the standard mathematical functions (short talk). Abstract and a link to "poster"
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100