The 7th International Computer Science Symposium in Russia
    Proceedings 
    News 
    Call For Papers 
    Conference 
    Important Dates 
    Topics 
    Program 
    Workshops 
    Invited Speakers 
    Committees 
    Venue 
    Travel information 
    Registration 
    Archive 
    Contacts 
    Subscription 
EATCS
Springer Link
Yandex
Microsoft Research

 
The 7th International Computer Science Symposium in Russia
PSSV-2012 Program

PSSV 2012 Program

Sunday, July 1, 2012

9.00 – 9.30Registration

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

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


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

Monday, July 2, 2012

Session 4, Chair: V.Nepomniaschy
9.30 – 10.00M. Akhin, V. Itsykson “TREE SLICING IN CLONE DETECTION: SYNTACTIC ANALYSIS MADE SEMI-SEMANTIC”
10.00 – 10.30P. 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.00Posters presentations
  1. A. Tyugashev, I. Ermakov, I. Ilyin “WAYS TO GET MORE RELIABLE AND SAFE SOFTWARE IN AEROSPACE INDUSTRY”
  2. A.Zakharov, V.Itsykson “STATIC APPROACH TO DETECTION OF DATA LOSS ERRORS”
  3. A.Zakonov, A.Shalyto “TOWARDS AUTOMATED HIGH COVERAGE TEST GENERATION FOR WEB APPLICATIONS USING ABSTRACT SYNTAX TREES ANALYSIS”
11.00 – 11.30Coffee break

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

Session 6, Chair: V.Nepomniaschy
Panelists: S.Baranov, V.Itsykson, N.Shilov, V.Sokolov
15.00 - 16.30Panel discussion “ACTUAL PROBLEMS OF PROGRAM VERIFICATION. FROM THEORY TO APPLICATIONS”.


áÇÏÒÁ