promela
There are 1 repository under promela topic.
utwente-fmt / ltsmin
The LTSmin model checking toolset
Language:C 51- AttackerSynthesis
maxvonhippel / AttackerSynthesis
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
Language:Python 14 konnov / fault-tolerant-benchmarks
Fault-tolerant distributed algorithms encoded in a formal language
Language:F* 13corbanmailloux / sublime-promela-spin
Sublime Text 3 syntax highlighting and build system for Promela Spin.
- Language:Python 9
- Language:OCaml 6
itu-square / p3-tool
A reconfigurator tool for fPromela with support for variability abstractions.
Language:Haskell 4johnyf / openpromela
Synthesis of discrete dynamical systems from multi-paradigm specifications
Language:Python 4k5-mot / The-Dining-Philosophers-Problem
📌 The Dining Philosophers Problem / 食事する哲学者の問題
Language:TeX 4vaibhavbhagee / Distributed-Computing
Distributed computing course projects
Language:TeX 3nlintas / 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.
Language:HTML 2pieterjansevanrensburg / 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
Language:TeX 1grandimk / mvs-finalproject
A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)
Language:Shell 1- Language:TeX 1
igor-buzhinsky / modchk-to-spin
Converter of function block models from NuSMV to Promela (SPIN)
Language:Java 1lakhanshiva / 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
ddigeronimo / CS511
Homework and in-class exercises for CS 511: Concurrent Programming, Fall 2018
Language:Erlang 0iamonur / the_legendary_pipeline
Study for mah thesis
Language:C 0kadyrov-ruslan / BMSTU_Master_MathBasis_of_Software_Verification
Materials for "Mathematical basis of software verification" course of BMSTU Software Engineering last year
0- Language:Promela 0
peplxx / VeHa-2023-HYPE
Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)
Language:Promela 0skneko-upv / train-interlocking
Model of a concurrent train interlocking system for formal verification
Language:Promela 0Besnn / 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
Language:CCSIGildea / SPIN_and_Promela_Sample
CS2016 - Lab #4 - SPIN and Promela
hadisfr / ECE-Vending-Machine-Verification
A Project for Formal Methods in Software Engineering F98 at UT - TA's Soultion
a Project for Introduction to Formal Methods F98 at UT - mirror of https://gitlab.com/hadi_sfr/promela-async-dining-philosophers
Language:TeXA Project for Formal Methods in Software Engineering F97 at UT - mirror of https://gitlab.com/hadi_sfr/promela-simple-pedestrian-crossing-traffic-light
kDushyanth / SPIN-model-checker
Model checking with SPIN
Language:C- Language:Objective-J
- Language:C
rkolovanov / promela-algorithms
Моделирование алгоритмов, решающих задачу взаимоисключающего доступа (ВИД)
Language:Promela
