Verification using Model Checking

VU 3   SS 2007   LVA 703800

Time & Place

VO	Thursday from 09:00 to 11:00 in SR 12
UE	Thursday from 08:00 to 09:00 in RR 20

The first lecture will be on March 8, the first exercises will be March 15.