Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System.

Wytse Oortwijn, Marieke Huisman

Browse the full IFM paper archive.