A static microcode analysis tool for programmable load drivers.

Luca Dariz, Massimiliano Ruggeri, Michele Selvatici

Browse the full SCAM paper archive.