教学
2021年夏季学期
2020年冬季学期
模型 检查 逻辑 研讨会 人工智能/计算工程 ：困惑 跳舞链接 规划和 人工智能中的推理 调试 伊莎贝尔
2020年夏季学期
2019年冬季学期
2019年夏季学期
2018年冬季学期
模型 检查 逻辑（VL， 使用单位） 研讨会 计算工程 ：计算机编程的艺术 （课程学分可自动用于 研讨会 Diskrete数学与代数 ) 调试 专题： 软件验证 （千伏）
2018年夏季学期
2017年冬季学期
模型 检查 逻辑（VL， 使用单位） 研讨会 代数与Diskrete Mathematik ：计算机艺术 编程 （课程学分可自动用于 研讨会 计算工程 ) 调试 专题： 决策程序和SMT （千伏）
2017年夏季学期
2016年冬季学期
2016年夏季学期
正式 模型 专题： 可满足性模理论 （千伏） 高级模型 检查
2015年冬季学期
2015年夏季学期
2014年冬季学期
2014年夏季学期
正式 模型 高级主题 信息学：决策程序和SMT （千伏） 调试