Formal Methods and the Future of Programming

Other way around. Just an SCP fail (promoting an already popular story)

https://sel4.systems/About/history.html

Also interesting is "Kry10" which builds on sel4 to enable Erlang BEAM based apps for critical embedded devices - https://www.kry10.com/

Technical Overview paper - https://www.kry10.com/get-started