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
