grandimk / mvs-finalproject Public

Notifications You must be signed in to change notification settings
Fork 1
Star 1

A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
docs		docs
src		src
A.sh		A.sh
B.sh		B.sh
C.sh		C.sh
LICENSE		LICENSE
README.md		README.md
makefile		makefile

Repository files navigation

mvs-finalproject

A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)

About

A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)

promela spin formal-verification unipi

Report repository

Releases

No releases published

Packages

No packages published

Languages