3 ms·
Thank you for your work and research! We need an open design, formally-verifiable operating system that leverages what was learned in creating the research / t
by thesuperbigfrog 7y ago
Thank you for your work and research! We need an open design, formally-verifiable operating system that leverages what was learned in creating the research / toy operating systems to build an "industrial strength" operating system. A SPARK OS would be very nice indeed.
- ajxs 7y agoThank you for the kind words! I can't take credit for breaking any real ground though. My experiments are quite small in scale! I agree, formally verifiable operating-systems should really be the future. Take a look at Muen, they've done an amazing job at making a formally verified kernel in SPARK. https://www.muen.sk/ https://www.muen.sk/
- thesuperbigfrog 7y agoI will check it out. Thank you!