/mvs-finalproject

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

Primary LanguageShellMIT LicenseMIT

No issues in this repository yet.