Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.

Sumant Kowshik, Grigore Rosu, Lui Sha

Browse the full DSN paper archive.