SPIN

S. Staroletov A. Dubko A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // System Informatics. — . — # 15.  — P. 13-44
N. Garanina An Exact Schedulability Test for Real-time Systems with an Abstract Scheduler // System Informatics. — . — # 25.  — P. 29-38
N. Garanina S. Staroletov V. Zyubin I. Anureev Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — . — # 22.  — P. 21-30
E. Bodin Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 cube // System Informatics. — . — # 2.  — P. 101-116
Subscribe to SPIN