Comment on Formal Methods and the Future of ProgrammingparentComments−rramadass2mohttps://sel4.systems/About/history.htmlAlso 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
Comments
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