Salut, Jean-Christophe Haessig <[EMAIL PROTECTED]> writes:
> Not that I disprove or dismiss the use of TC for OS verification, Just a bit of nitpicking: TC is not about software verification, but about software *certification*, i.e., certification by a "certification authority". This is very different. Thanks, Ludovic. _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
