The homepage of the course logical verification moved here.