Ausgabe 1/2005
Inhalt (5 Artikel)
A computer checked algebraic verification of a distributed summation algorithm
Jan Friso Groote, François Monin, Jan Springintveld
Discovering applications of higher order functions through proof planning
A. Cook, A. Ireland, G. Michaelson, N. Scaife
Mechanizing compositional reasoning for concurrent systems: some lessons
Sidi O. Ehmety, Lawrence C. Paulson
An algebraic treatment of procedure refinement to support mechanical verification
Ralph-Johan Back, Viorel Preoteasa