Formally Verified Firmware Modules for Industrial Process Automation.

Wolfgang A. Halang, Bernd J. Krmer, Norbert Vlker

Browse the full SAFECOMP paper archive.