Modeling layered distributed communication systems D. HerzbergM. Broy OriginalPaper 29 October 2004 Pages: 1 - 18
A computer checked algebraic verification of a distributed summation algorithm Jan Friso GrooteFrançois MoninJan Springintveld OriginalPaper 12 January 2005 Pages: 19 - 37
Discovering applications of higher order functions through proof planning A. CookA. IrelandN. Scaife OriginalPaper 22 March 2005 Pages: 38 - 57
Mechanizing compositional reasoning for concurrent systems: some lessons Sidi O. EhmetyLawrence C. Paulson OriginalPaper 10 February 2005 Pages: 58 - 68
An algebraic treatment of procedure refinement to support mechanical verification Ralph-Johan BackViorel Preoteasa OriginalPaper 20 April 2005 Pages: 69 - 90