promela
There are 41 repositories under promela topic.
utwente-fmt/ltsmin
The LTSmin model checking toolset
maxvonhippel/AttackerSynthesis
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
konnov/fault-tolerant-benchmarks
Fault-tolerant distributed algorithms encoded in a formal language
corbanmailloux/sublime-promela-spin
Sublime Text 3 syntax highlighting and build system for Promela Spin.
johnyf/promela
Promela parser using PLY (Python lex-yacc)
codelion/SpinR
Spin with Refinement
itu-square/p3-tool
A reconfigurator tool for fPromela with support for variability abstractions.
johnyf/openpromela
Synthesis of discrete dynamical systems from multi-paradigm specifications
k5-mot/The-Dining-Philosophers-Problem
📌 The Dining Philosophers Problem / 食事する哲学者の問題
vaibhavbhagee/Distributed-Computing
Distributed computing course projects
nlintas/Verified-Safety-Railway-Promela-Spin-Model
TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.
pieterjansevanrensburg/model-verification-dining-philosophers-problem
Using PROMELA and SPIN to check the dining philosophers' problem for race conditions.
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
grandimk/mvs-finalproject
A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)
igor-buzhinsky/modchk-to-spin
Converter of function block models from NuSMV to Promela (SPIN)
lakhanshiva/PlatooningPi-Calc
Describing Platooning in the language of MWB (Mobility Workbench), a tool for manipulating and analyzing mobile concurrent systems described in pi-calculus (tool written in standard SML and runs on SML/NJ compiler). Then describing it in Promela to model check using SPIN and Isabelle
melintea/upml
Formal verification of UML state machines with Promela and TLA+/PlusCal
MrDiver/ImSpin
ImSpin is an advanced and modernized version of the classic iSpin frontend, leveraging the power and flexibility of ImGui to provide a superior user experience. Designed as the frontend for the SPIN model checker, ImSpin aims to offer an intuitive, efficient, and visually appealing interface for model checking enthusiasts and professionals.
iamonur/the_legendary_pipeline
Study for mah thesis
kadyrov-ruslan/BMSTU_Master_MathBasis_of_Software_Verification
Materials for "Mathematical basis of software verification" course of BMSTU Software Engineering last year
ligurio/specs
Formal specifications
peplxx/VeHa-2023-HYPE
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
skneko-upv/train-interlocking
Model of a concurrent train interlocking system for formal verification
Besnn/promela-sublime-syntax-file
.sublime-syntax file for promela (for bat) since only yaml version was available
CJLlorente99/ProyectoFinal
Proyecto de la asignatura SDG2 - Calidad del aire en un quirófano
hadisfr/ECE-Vending-Machine-Verification
A Project for Formal Methods in Software Engineering F98 at UT - TA's Soultion
hadisfr/promela-async-dining-philosophers
a Project for Introduction to Formal Methods F98 at UT - mirror of https://gitlab.com/hadi_sfr/promela-async-dining-philosophers
hadisfr/promela-simple-pedestrian-crossing-traffic-light
A Project for Formal Methods in Software Engineering F97 at UT - mirror of https://gitlab.com/hadi_sfr/promela-simple-pedestrian-crossing-traffic-light
jojomaverik/SPIN_trash_bin
Repository for a trash bin control software in SPIN
kDushyanth/SPIN-model-checker
Model checking with SPIN
lucadibello/concurrency-spin-model-checker
SPIN model checker integration to verify the correctness of a sequential and concurrent program
pgram1/Promela-CW
A coursework on formal methods
rkolovanov/promela-algorithms
Моделирование и верификация распределенных алгоритмов с использованием языка Promela и верификатора Spin. Модели алгоритмов решения задачи взаимоисключающего доступа: Алгоритм Деккера, Алгоритм Петерсона, Алгоритм Дейкстра. Модель алгоритма контроллера светофора на сложном перекрестке.
rnibhriain/concurrent-systems-and-operating-systems
Threading :thread: and concurrency assignments for module: CSU23016