| 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 |
| 12:30–13:30 | 12.30-13.30 Panel discussion “ACTUAL PROBLEMS OF PROGRAM VERIFICATION. FROM THEORY TO APPLICATIONS” |
