Automated firmware testing using firmware-hardware interaction patterns
A tool for checking ANSI-C programs