Программа семинара

Sunday, June 12

Время
09:45–10:00 Opening of the Workshop
Session 1
10:00–10:30 Mammar A., Cavalli A., Kushik N., Jimenez W., Yevtushenko N., de Oca E.M. “A SPIN-BASED APPROACH FOR DETECTING VULNERABILITIES IN C PROGRAMS”
10:30–11:00 Klimov A.V. “YET ANOTHER ALGORITHM FOR SOLVING COVERABILITY PROBLEM FOR MONOTONIC COUNTER SYSTEMS”
11:00–11:30 Garanina N.O. “OPTIMIZATION PROCEDURES IN AFFINE MODEL CHECKING”
11:30–12:00 Shilov N.V. “MANUAL VERIFICATION OF A SEMIFORMAL ALGORITHM DESIGN TEMPLATES”
Session 2
14:00–14:30 Kotlyarov V., Tikhomirov V. “A FORMAL APPLICATION MODEL FOR CODE AND TEST GENERATION”
14:30–15:00 Fomin D., Anureev I. “ATTRIBUTE ANNOTATION METHOD FOR VCG SIMPLIFICATION”
15:00–15:30 Promsky A.V. “C-LIGHT PROGRAM VERIFICATION: ERROR TRACING AND LIBRARY SPECIFICATION”
15:30–16:00 Glukhikh M., Itsykson V., Tsesko V. “USING DEPENDENCIES TO IMPROVE PRECISION OF PROGRAM STATIC ANALYSIS”
Session 3 Poster presentations
16:30–17:30 Belyaev M., Tsesko V. “DEVELOPMENT OF LLVM-BASED STATIC ANALYSIS TOOL USING TYPE AND EFFECT SYSTEMS”
Itsykson V., Zozulya A., Glukhikh M. “AUTOMATED PROGRAM REENGINEERING WHEN PORTING SOFTWARE TO A NEW ENVIRONMENT DESCRIBED BY PARTIAL SPECIFICATIONS”
Kalentyev A., Tyugashev A., Bogatov A., Shulyndin A. “VISUAL TOOLSET FOR REAL-TIME ONBOARD PROGRAMS VERIFICATION SUPPORT”
Zaitsev D.A. ”INHIBITOR PETRI NET EXECUTES NORMAL ALGORITHM OF MARKOV”
Zakharov A., MoiseevM. “STATIC DATA RACE DETECTION IN SYSTEMC PARALLEL PROGRAMS”

Monday, June 13

Время
Session 4
10:00–10:30 Dvoryansky L. V., Lomazova I. A. “COMPOSITIONALITY OF SOME BEHAVIORAL PROPERTIES FOR FREE-CHOICE NESTED PETRI NETS”
10:30–11:00 Bashkin V. A. “APPROXIMATING BISIMULATION IN ONE-COUNTER NETS”
11:00–11:30 Beloglazov D., Mashukov M., Nepomniaschy V. “USING COMMUNICATING FINITE AUTOMATA AND COLOURED PETRI NETS FOR TELECOMMUNICATION SYSTEMS VERIFICATION”
11:30–12:00 Anureev I. “THE ATOMENT LANGUAGE BY EXAMPLES”
Session 5 Panel discussion
12:30–13:30 ACTUAL PROBLEMS OF PROGRAM VERIFICATION. FROM THEORY TO APPLICATIONS