理论计算机科学研究所的“验证与算法工程”研究小组研究硬件和软件验证的新方法和算法设计。
我们主要关注基本决策程序的开发（如SAT求解器和模型检查器），它们是许多验证工具的核心组件。我们特别为实际应用中产生的问题实例构建新算法，并将这些算法调整为现代硬件架构，如多核计算机或计算集群。进一步的研究课题是分析验证问题的内部结构。
我们还从事技术转让，并将我们的方法应用于工业应用，如产品配置或软件验证，特别是汽车行业。
