Report copyright - Trustworthy Embedded Systemsthe state of the art, the largest program whose implementation has been fully formally verified is our seL4 microkernel with only 10,000 loc. Alternative
Please pass captcha verification before submit form