Marco Peressotti Assistant Professor Phone: +45 65 50 90 26 Email: peressotti@sdu.dk Webpage: Keywords: Formal methods.