Verified functional programming of an IoT operating system's bootloader.

Shenghao Yuan, Jean-Pierre Talpin

Browse the full MEMOCODE paper archive.