项目

AVACS公司

该项目致力于对复杂的安全关键计算机系统（如飞机、火车、汽车或其他人造物）的模型和实现进行严格的数学验证和分析，这些系统的故障可能危及人类生命。我们的目标是提高自动验证和分析技术（v&a）的技术水平，使其仅适用于孤立的方面（并发性、时间、连续控制、稳定性、可靠性、移动性、数据结构、硬件约束、模块化、精细化水平），达到允许对此类系统进行全面和整体验证的水平。

AVACS公司- 阅读更多…

扎洛莫

在这个项目中，计算机科学和法学联合开发了一个概念，用于规划、设计和管理中小企业（SME）之间关于软件开发的合同。其思想是将要开发的软件的需求和需求的自动验证的一个易于组合、高效且机器可读的规范变成开发合同的一个组成部分。本合同的设计确保了技术验证结果的法律相关性。

萨洛莫- 阅读更多…

Verisoft XT公司

该项目的主要目标是对计算机系统进行普遍的形式验证。例如，在汽车工程、安全技术和医疗技术领域中使用的系统的正确功能需要通过数学证明。

Verisoft XT公司- 阅读更多…

格拉迪尔滕科列格

在过去的一个世纪里，数理逻辑已经从一门基础性的科学发展成为一门数学学科，用新的思想、方法和结果丰富了传统数学领域。计算机科学的起源部分在于数学逻辑，计算机科学与计算机科学之间有着众多而多样的联系，这导致了这两个学科的相互进步。这个Graduiertenkolleg关注逻辑和计算机科学/数学之间的相互作用。

格拉迪尔滕科列格- 阅读更多…

案例研究库

案例研究库- 阅读更多…