promela

Here are 4 public repositories matching this topic...

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

security distributed promela synthesis formal-methods protocols spin attacker-synthesis

Promela parser using PLY (Python lex-yacc)

python parser parse ply promela

Synthesis of discrete dynamical systems from multi-paradigm specifications

This is a project on Promela with using Spin verification programm

verification promela spin traffic-lights

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

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