3 ms·
is the compiler for the language also formally verified? can't find this in the article, and well, it'd be a huge open door for bugs.
by LoSboccacc 10y ago
is the compiler for the language also formally verified? can't find this in the article, and well, it'd be a huge open door for bugs.
- munin 10y agofrequently, yes, if it uses compcert or cakeML or something.
- nickpsecurity 10y agoIt's in the picture: http://deepspec.org/ http://deepspec.org/
- LoSboccacc 10y agothanks. very interesting project. they also have their own kernel and all