Bodin E. Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 cube // # 2, 2013
Vizovitin N., Nepomniaschy V., Stenenko A. Verification of UCM Models with Scenario Control Structures Using Coloured Petri Nets // # 7, 2016
Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // # 8, 2016
Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // # 1, 2013
Staroletov S., Dubko A. A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // # 15, 2019
Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // # 17, 2020
Staroletov S. Design and implementation a software for water purification with using automata approach and specification based analysis // # 10, 2017
de Carvalho D., Mazzara M., Mingela B., Safina L., Troshkov N., Tchitchigin A. Towards Static Type-checking for Jolie // # 10, 2017
