Giters

grandimk / mvs-finalproject

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

promelaunipispinformal-verification

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)

promelaunipispinformal-verification

License:MIT License

Languages

Language:Shell 64.9%Language:Makefile 35.1%