d0cd / mvs-finalproject Goto Github PK
View Code? Open in Web Editor NEWThis project forked from grandimk/mvs-finalproject
A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)
License: MIT License