模型检查是一种自动验证硬件或软件系统的技术。给定这样一个系统及其预期行为的规范，模型检查器会找出系统是否满足规范。自20世纪80年代发明以来，模型检验已经取得了巨大的进步；如今，验证整个CPU设计是可能的，因此所有主要的微处理器公司都会为此目的使用和开发工具。软件验证比硬件验证更具挑战性，是一个活跃的研究课题（例如，在软件工程主席处进行！）。近年来，这一领域也取得了令人感兴趣的进展。业界已经开始使用这些技术来检查，例如，安全关键型嵌入式系统和软件库；然而，许多理论和实践研究挑战摆在我们面前。
在diesem Praktikum soll ein Softwareentwicklungsprozess中，开始于Anforderungserhebungüber Entwurfsphase bis hin zur Implementierung，是Arbeit innerhalb einer Gruppe und der Umgang mit komplexen Systemen erlernt werden的组织。在《格鲁朋与缪森》中，蒂尔内默·沃登·冯·登·贝特鲁恩（Die Teilnehmer werden von den Betreuern）表现得最为出色。Hierzu müssen sie sich selbst organieren，die Anforderungen definieren，Arbeit geschickt auf Gruppenmitglieder verteilen und neue Technologien selbstständig erlen。
