Embedded-check a Code Quality Tool for Automatic Firmware Verification.

Rafael Corsi Ferro, Igor dos Santos Montagner, Mariana Silva, Craig B. Zilles, Rodolfo Azevedo

Browse the full ITiCSE paper archive.