A Promela model of Piko/RT under the Spin model checker.

Model of a concurrent FIFO queue written in Promela for the Spin model checker

A system validation model written in Promela

REPAIR BROKEN ITEMS over RENDEZVOUS CHANNELS

No description provided.

As a student in the Master's program in Software and Data Engineering, I am currently enrolled in a Software Analysis course. In this repository, I will share the work we did and the technologies we used in the course.

Design Modelling and Verification of Safety Railway Networks of Train signalling systems

Algorithms, kata solutions, yandex contest tasks solutions, self-writed libraries on C with valgrind checks on possible memory leaks, other programs