3 ms·
What are some examples of non-trivial working formally verified software?
by jdc 12y ago
What are some examples of non-trivial working formally verified software?
- fdej 12y agohttp://compcert.inria.fr/ http://compcert.inria.fr/ is the first that comes to mind.
- maemre 12y agoThere is Quark [1], a web browser with formally verified kernel. Here, kernel is a process which manages other slave (helper) processes which render the page actually. [1]: http://goto.ucsd.edu/quark/ http://goto.ucsd.edu/quark/