There 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 ac

There 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/