Time-Safety Checking for Embedded Programs.

Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic

Browse the full EMSOFT paper archive.