Published Dec. 7, 2006 5:09 PM

Eksamen i morgen 8 desember. Obligatorisk oppmøte kl. 09. Eksamen blir i sem.rom 2G.

Published Nov. 5, 2006 10:55 AM

I updated the detailed teaching plan according to the actual pace during semenster.


Published Oct. 11, 2006 1:01 PM

Just as reminder: on Thursday, 12.October, there is a guest lecture by Heike Wehrheim (University of Paderborn) The topic of the talk (slicing techniques for verification) is interesting from the perspective of this course, I'm sure.

The official announcement is here

Published Sep. 11, 2006 4:25 PM

note: as annouced in the original time schedule and as said in the course: Next week (18.9) there won't be a lecture!


Published Sep. 1, 2006 6:23 PM

NB! The lectures will from now on be seminar room 3A.

Published Aug. 28, 2006 6:22 PM

The slides of today plus today's handout is downloadable from this point and also linked via my homepage

If we find a larger room, it will be posted here.


Published Aug. 14, 2006 1:13 PM


Nielson, Nielson, and Hankin: Principles of Program Analysis. Springer.

Denne må dere bestille selv, f.eks. hos Amazon.

The web page of the book can be found here , containing some supplementary material