#

promela-channel

Here are 3 public repositories matching this topic...

alex-rantos / System-Validation

A system validation model written in Promela

promela system-validation promela-model promela-channel verification-programming

Updated Nov 19, 2019

SnehaSahu05 / Promela-Channel-Program

REPAIR BROKEN ITEMS over RENDEZVOUS CHANNELS

spin promela-model promela-channel

Updated Sep 13, 2021

kDushyanth / SPIN-model-checker

Model checking with SPIN

promela spin formal-verification promela-channel ltl-property

Updated Jul 10, 2022
C

Improve this page

Add a description, image, and links to the promela-channel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the promela-channel topic, visit your repo's landing page and select "manage topics."