PSSV 2012 Program

Sunday, July 1, 2012

9.00 – 9.30

Registration

Session 1, Chair: V.Sokolov

9.30 – 10.00	I. Anureev “DEDUCTIVE APPROACH TO VERIFICATION OF TELECOMMUNICATION SYSTEMS WRITTEN IN C”
10.00 – 10.30	I.Anureev, I. Maryasov, V. Nepomniaschy “REVISED MIXED AXIOMATIC SEMANTICS METHOD OF C PROGRAM VERIFICATION”
10.30 – 11.00	A. Promsky “VERIFYING THE STANDARD C LIBRARY: THE C-LIGHT APPROACH”
11.00 – 11.30	Coffee break

Session 2, Chair: V.Itsykson

11.30 – 12.00	I.Konnov, V.Podymov, D.Volkanov, V.Zakharov, D.Zorin “ON THE DESIGNING OF MODEL CHECKERS FOR REAL-TIME DISTRIBUTED SYSTEMS”
12.00 – 12.30	N.Garanina “AFFINE MODEL CHECKING MULTI-AGENT SLIDING WINDOW PROTOCOL”
12.30 – 13.00	D.Chkliaev, V.Nepomniaschy “DEDUCTIVE VERIFICATION OF THE CLASSICAL SLIDING WINDOW PROTOCOL”
13.00 – 15.00	Lunch

Session 3, Chair: N.Shilov

15.00 – 15.30	R.I. Podlovchenko, A.E. Molchanov “ALGEBRAIC MODELS OF PROGRAMS WITH PROCEDURES”
15.30 - 16.00	V.A. Bashkin “ON THE HEREDITARY PROPERTIES OF MODULAR NETS”
16.00 - 16.30	L.V. Dvoryansky, I.A. Lomazova “TOWARDS A TRANSLATION FROM NESTED PETRI NETS INTO COLORED PETRI NETS”
16.30 – 17.00	D.A. Zaitsev “VERIFICATION OF GRID STRUCTURES WITH SPECIFIC EDGE CONDITIONS“

Monday, July 2, 2012

Session 4, Chair: V.Nepomniaschy

9.30 – 10.00	M. Akhin, V. Itsykson “TREE SLICING IN CLONE DETECTION: SYNTACTIC ANALYSIS MADE SEMI-SEMANTIC”
10.00 – 10.30	P. Drobintsev, A.Kolchin, V.Kotlyarov, A.Letichevsky, V.Peschanenko “AN APPROACH TO CREATING A TECHNOLOGY OF TEST AUTOMATION FOR INDUSTRIAL SOFTWARE PROJECTS”
10.30 – 11.00	Posters presentations A. Tyugashev, I. Ermakov, I. Ilyin “WAYS TO GET MORE RELIABLE AND SAFE SOFTWARE IN AEROSPACE INDUSTRY” A.Zakharov, V.Itsykson “STATIC APPROACH TO DETECTION OF DATA LOSS ERRORS” A.Zakonov, A.Shalyto “TOWARDS AUTOMATED HIGH COVERAGE TEST GENERATION FOR WEB APPLICATIONS USING ABSTRACT SYNTAX TREES ANALYSIS”
11.00 – 11.30	Coffee break

Session 5, Chair: S.Baranov

11.30 – 12.00	M. Dekhtyar, M.Valiev “VERIFICATION OF FUZZY MARKOV DECISION PROCESSES”
12.00 – 12.30	E.V. Kuzmin, V.A. Sokolov “ON VERIFICATION OF LD-PROGRAMS”
12.30 – 13.00	N.V. Shilov “USING ESOTERIC LANGUAGES FOR TEACHING FORMAL SEMANTICS”
13.00 – 15.00	Lunch

Session 6, Chair: V.Nepomniaschy
Panelists: S.Baranov, V.Itsykson, N.Shilov, V.Sokolov

15.00 - 16.30

Panel discussion “ACTUAL PROBLEMS OF PROGRAM VERIFICATION. FROM THEORY TO APPLICATIONS”.