promela-model
There are 7 repositories under promela-model topic.
kaizsv/pikoRT-Spin
A Promela model of Piko/RT under the Spin model checker.
alex-rantos/System-Validation
A system validation model written in Promela
ChristianMoesl/concurrent-queue-model
Model of a concurrent FIFO queue written in Promela for the Spin model checker
peplxx/VeHa-2023-HYPE
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
SnehaSahu05/Promela-Channel-Program
REPAIR BROKEN ITEMS over RENDEZVOUS CHANNELS
Ya-Pasha-364shy/Algorithms
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.