Re: seL4 Verification (Was: L4.sec)
Pierre THIERRY <[email protected]>
| Newsgroups | gmane.os.hurd.l4 |
|---|---|
| Message-ID | <[email protected]> |
Scribit Gernot Heiser dies 10/06/2007 hora 14:40: > One such step is (5)->(6). This is done automatically, using a formal > semantics (in Isabelle) of our subset of C What is this subset? Curiously, Pierre -- [email protected] OpenPGP 0xD9D50D8A _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
signature.asc
(application/pgp-signature, 189 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGa8Bfxe13INnVDYoRAuLTAKD+Pm4wR7vOIZlZr9gjErPFHCMiDgCfcJl2 Z/6HGSrYdP3vjB5Ut1eEPp4= =FD68 -----END PGP SIGNATURE-----