A Promela model of Piko/RT under the Spin model checker.
-
Updated
Aug 28, 2019 - Makefile
#
promela-model
Here are 9 public repositories matching this topic...
A system validation model written in Promela
-
Updated
Nov 19, 2019
Model of a concurrent FIFO queue written in Promela for the Spin model checker
-
Updated
Nov 14, 2019 - TeX
-
Updated
Apr 9, 2018 - C
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
-
Updated
Nov 21, 2023 - Promela
Design Modelling and Verification of Safety Railway Networks of Train signalling systems
-
Updated
Dec 27, 2024 - Promela
REPAIR BROKEN ITEMS over RENDEZVOUS CHANNELS
-
Updated
Sep 13, 2021
Algorithms, kata solutions, yandex contest tasks solutions, self-writed libraries on C with valgrind checks on possible memory leaks, other programs
fsm graph graph-algorithms codewars binary-tree-search cryptography-algorithms promela-model linked-list-in-c deque-in-c
-
Updated
Oct 7, 2025 - C++
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.
-
Updated
Jul 5, 2025 - Java
Improve this page
Add a description, image, and links to the promela-model topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the promela-model topic, visit your repo's landing page and select "manage topics."