logoalt Hacker News

josh-wrale • today at 1:26 AM • 1 reply • view on HN

Xen is formally verified?


Replies

tptacek • today at 1:51 AM

No.