Dear Mirages™, Reading Mirage's FAQ <https://mirage.io/wiki/faq> I noticed that mirage has been a bit involved with the formal methods community.
I would be super-interested in knowing if anybody has ever produced an (automated) formal proof of the security of component X in mirage, or if there's any interest in doing this; unfortunately I couldn't find anything on the interweb. (I asked David this question a couple of years ago, now I have a bit more free time, and a tiny little bit more awareness of the topic) -- µ. _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
