Formaalit menetelmät, kevät 2003 (demot)