Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers.

Thomas Fehmel, Viet-Tan Nguyen, Dominik Stoffel, Wolfgang Kunz

Browse the full DSD paper archive.