promela

Star

Here are 6 public repositories matching this topic...

utwente-fmt / ltsmin

Star

The LTSmin model checking toolset

promela model-checking petri-net model-checker dve pnml linear-temporal-logic mu-calculus computation-tree-logic

Updated Oct 31, 2024
C

CJLlorente99 / ProyectoFinal

Star

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

c linux fsm makefile embedded-systems promela

Updated May 17, 2020
C

iamonur / the_legendary_pipeline

Star

Study for mah thesis

games python3 promela research-project spin research-paper model-checker py-vgdl

Updated Jul 5, 2021
C

kDushyanth / SPIN-model-checker

Star

Model checking with SPIN

promela spin formal-verification promela-channel ltl-property

Updated Jul 10, 2022
C

martincxx / promela

Star

promela model-checking installation-notes promela-model

Updated Apr 9, 2018
C

rnibhriain / concurrent-systems-and-operating-systems

Star

Threading 🧵 and concurrency assignments for module: CSU23016

c multithreading concurrent-programming promela college-project

Updated Jul 27, 2024
C

Improve this page

Add a description, image, and links to the promela 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 topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

promela

Here are 6 public repositories matching this topic...

utwente-fmt / ltsmin

CJLlorente99 / ProyectoFinal

iamonur / the_legendary_pipeline

kDushyanth / SPIN-model-checker

martincxx / promela

rnibhriain / concurrent-systems-and-operating-systems

Improve this page

Add this topic to your repo