johnyf/promela

Promela parser using PLY (Python lex-yacc)

Language: Python - Size: 92.8 KB - Last synced: 1 day ago - Pushed: about 1 month ago - Stars: 9 - Forks: 7

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.

Language: HTML - Size: 749 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 2

utwente-fmt/ltsmin

The LTSmin model checking toolset

Language: C - Size: 7.22 MB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 49 - Forks: 30

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

Size: 57.6 KB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

CJLlorente99/ProyectoFinal Fork of oscarlpujol/ProyectoFinal

Proyecto de la asignatura SDG2 - Calidad del aire en un quirófano

Size: 753 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

victor-kugay/hse-promela-challenges

Formal Methods Promela challenges from Higher School of Economics course.

Language: Promela - Size: 8.79 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ChristianMoesl/concurrent-queue-model

Model of a concurrent FIFO queue written in Promela for the Spin model checker

Language: TeX - Size: 14.6 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

johnyf/openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications

Language: Python - Size: 260 KB - Last synced: 5 days ago - Pushed: over 6 years ago - Stars: 4 - Forks: 1

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

Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 1

pgram1/Promela-CW 📦

A coursework on formal methods

Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

hadisfr/ECE-Vending-Machine-Verification 📦

A Project for Formal Methods in Software Engineering F98 at UT - TA's Soultion

Size: 729 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

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

Language: TeX - Size: 162 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

skneko-upv/train-interlocking 📦

Model of a concurrent train interlocking system for formal verification

Language: Promela - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

rkolovanov/promela-algorithms 📦

Моделирование алгоритмов, решающих задачу взаимоисключающего доступа (ВИД)

Language: Promela - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

maxvonhippel/AttackerSynthesis

🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis

Language: Python - Size: 1.65 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 12 - Forks: 1

k5-mot/The-Dining-Philosophers-Problem

📌 The Dining Philosophers Problem / 食事する哲学者の問題

Language: TeX - Size: 13.9 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

konnov/fault-tolerant-benchmarks

Fault-tolerant distributed algorithms encoded in a formal language

Language: F* - Size: 1.58 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 13 - Forks: 4

kDushyanth/SPIN-model-checker

Model checking with SPIN

Language: C - Size: 3.49 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

igor-buzhinsky/modchk-to-spin

Converter of function block models from NuSMV to Promela (SPIN)

Language: Java - Size: 645 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

iamonur/the_legendary_pipeline

Study for mah thesis

Language: C - Size: 473 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Besnn/promela-sublime-syntax-file

.sublime-syntax file for promela (for bat) since only yaml version was available

Size: 1.95 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

corbanmailloux/sublime-promela-spin

Sublime Text 3 syntax highlighting and build system for Promela Spin.

Size: 20.5 KB - Last synced: 11 months ago - Pushed: over 5 years ago - Stars: 10 - Forks: 3

itu-square/p3-tool

A reconfigurator tool for fPromela with support for variability abstractions.

Language: Haskell - Size: 563 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 2 - Forks: 2

hadisfr/Needham-Schroeder-Protocol-Promela-Verification

Language: TeX - Size: 1010 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

alex-rantos/System-Validation

A system validation model written in Promela

Size: 176 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

kkulewski/logic

Logic in Computer Science 2018/2019

Language: Objective-J - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rminami/spin-verification

Exercises using the Spin model checker and the Promela specification language.

Language: TeX - Size: 594 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

codelion/SpinR

Spin with Refinement

Language: OCaml - Size: 68.4 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 6 - Forks: 6

vaibhavbhagee/Distributed-Computing

Distributed computing course projects

Language: TeX - Size: 3.85 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 0

kadyrov-ruslan/BMSTU_Master_MathBasis_of_Software_Verification

Materials for "Mathematical basis of software verification" course of BMSTU Software Engineering last year

Size: 1.6 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

hoddy3190/eight_queens_pml

Find all(= 92) eight queens answers with Spin/Promela.

Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

CSIGildea/SPIN_and_Promela_Sample

CS2016 - Lab #4 - SPIN and Promela

Size: 77.1 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

martincxx/promela

Language: C - Size: 609 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0