Proving Safety Properties for Embedded Control Systems.

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi

Browse the full EDCC paper archive.