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