There are 0 repository under promela-model topic.
A Promela model of Piko/RT under the Spin model checker.
A system validation model written in Promela
Model of a concurrent FIFO queue written in Promela for the Spin model checker
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
REPAIR BROKEN ITEMS over RENDEZVOUS CHANNELS
here are Kata solutions from CodeWars, an analysis of some encryption algorithms that are interesting to me, as well as some practical assignments that I received at the university. Implementations of famous Data Structures and Algorithms on it here too.