A Promela model of Piko/RT under the Spin model checker.
-
Updated
Aug 28, 2019 - Makefile
#
promela-model
Here are 8 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
Design Modelling and Verification of Safety Railway Networks of Train signalling systems
-
Updated
Dec 27, 2024 - Promela
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
-
Updated
Nov 21, 2023 - Promela
REPAIR BROKEN ITEMS over RENDEZVOUS CHANNELS
-
Updated
Sep 13, 2021
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.
fsm graph graph-algorithms codewars binary-tree-search cryptography-algorithms promela-model linked-list-in-c deque-in-c
-
Updated
Dec 10, 2024 - C++
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."