
 <a href="http://www.cs.cornell.edu/Info/People/jyh/nuprl/seminars/hor11_95.pdf">Horus</a> November, 1995.  We
 are performing a verification of the <a
 href="http://simon.cs.cornell.edu/Info/Projects/HORUS/">Horus group
 communication system</a>.  These slides give an outline of the
 verification process.
 <li>
