Automatic verification of control system implementations.

Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada

Browse the full EMSOFT paper archive.