[cs63201] a not on code verification writeups

[Mikhail Nesterenko]

In your writeup, be specific and concrete. Explain what particular
topologies, compuations, message patters will stress your algorithm
(and therefore show that it operates correctly). Do not be overly
ambitious, a few (3 or 4) good cases should be sufficient. Note that
just topologies may not be the only "stress" factors for your
algorithm.

Thanks,
-- 
Mikhail