Universität Linz ›› Technisch-Naturwissenschaftliche Fakultät ›› Institut für Formale Modelle und Verifikation