For those interested in more ¡­

For those interested in more material on Hoare Logic, we suggest some alternatives:

A basic compendium (in Norwegian) covering Hoare Logic for sequential programs is: Ole Christian Lingj?rde: Kompendium 55. ?Introduksjon til Hoare-logikk og abstrakte typer? which can be found here

Books:

Gregory Andrews: Concurrent Programming. Addison-Wesley, 1991

Ole-Johan Dahl: Verifable Programming. Springer Verlag 1992 (also available as Kompendium 70 at the department.)