Menü
软件工程
搜索网站
仅在当前节中
高级搜索…
你在这里：
主页
›
工具
›
博内
信息
博内
Bohne是一个符号形状分析工具。
它推断循环
操作堆分配数据结构的程序的不变量。
Bohne集成到
贾霍布
验证系统。
Bohne的独立版本即将推出。
有关更多信息，请联系
托马斯·维斯
.
«
五月
2024
»
五月
钼
涂
我们
Th（第个）
法语
Sa公司
苏
1
2
三
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
主页
快速访问
团队
安德烈亚斯·波德尔斯基
丹尼尔·迪奇
马蒂亚斯·海兹曼
Jochen Hoenicke公司
伯恩德·韦斯特法尔
安娜·利奥利奥斯·齐默曼
马利斯·乔斯特
马丁·普雷恩
安德烈亚斯·德雷亚尼
塞尔吉奥·费奥·阿雷尼斯
马吕斯·格雷特斯
尼科·豪夫
伊丽莎白·汉克尔
多米尼克·克伦普
文森特·兰恩菲尔德
亚历山大·纳茨
克里斯蒂安·路透社
坦贾·辛德勒
弗兰克·舒赛尔
丽贝卡·阿尔布雷希特
可视化阻抗模型
斯蒂芬·阿尔特
杰琳娜·巴思
布鲁诺·伯斯特尔·达·席尔瓦
塞尔吉·博戈莫洛夫
贝里特·布劳尔
尤根基督
埃夫伦·埃尔米斯
哈拉尔德·费彻
克里斯蒂安·埃雷拉
资源
简·雷克
斯特凡·莫斯
科琳娜·米特罗欣
托比亚斯·莫尔西尼克
马可·穆尼兹
阿玛琳达邮报
马丁·施瓦夫
克里斯蒂安·席林
穆罕默德·纳西姆·塞吉尔
韦尔勒
教学
学生项目和论文主题
可用
正在进行中
完成了
2024年夏季学期
Automatentheorie（普罗塞米纳）
软件技术/软件工程（讲座）
程序验证（讲座）
2023/24年冬季学期
网络物理系统I-离散模型（讲座）
Softwarepraktikum软件
2023年夏季学期
Automatentheorie（普罗塞米纳）
软件技术/软件工程（讲座）
理论信息学（讲座）
2022/23年冬季学期
网络物理系统I-离散模型（讲座）
Softwarepraktikum软件
Automatentheorie（普罗塞米纳）
方案分析和验证（研讨会）
2022年夏季学期
决策程序（讲座）
理论信息学（讲座）
程序验证（讲座）
软件技术/软件工程（讲座）
2021/22年冬季学期
网络物理系统I-离散模型（讲座）
Softwarepraktikum软件
程序分析（Prosminar）
2021年夏季学期
自动机理论（研讨会）
自动机理论（Prosminar）
程序验证（讲座）
软件技术/软件工程（讲座）
2020/21年冬季学期
程序分析高级主题（研讨会）
Softwarepraktikum软件
网络物理系统I-离散模型（讲座）
程序分析（Prosminar）
2020年夏季学期
自动机理论（研讨会、散文会）
程序验证（讲座）
软件技术/软件工程（讲座）
2019/20年冬季学期
自动机理论（研讨会）
决策程序（讲座）
网络物理系统I-离散模型（讲座）
程序分析（Prosminar）
2019年夏季学期
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
程序验证（讲座）
软件技术/软件工程（讲座）
2018/19年冬季学期
自动机理论（研讨会）
项目分析（研讨会）
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
网络物理系统I-离散模型（讲座）
Informatik III（讲座）
程序分析（Prosminar）
2018年夏季学期
自动机理论（研讨会、散文会）
决策程序（讲座）
项目分析（研讨会）
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
程序验证（讲座）
软件技术/软件工程（讲座）
2017/18冬季学期
自动机理论（研讨会、散文会）
程序分析和软件测试（研讨会）
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
网络物理系统I-离散模型（讲座）
Informatik III（讲座）
实时系统（讲座）
2017年夏季学期
自动机理论（研讨会、散文会）
程序分析和软件测试（研讨会）
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
网络物理系统-混合模型（讲座）
Java的形式化方法（讲座）
程序验证（讲座）
软件技术/软件工程（讲座）
2016/17冬季学期
需求工程高级主题（研讨会）
自动机理论（研讨会、散文会）
决策程序（讲座）
程序分析和软件测试（研讨会）
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
网络物理系统I-离散模型（讲座）
UML中的软件设计、建模和分析（讲座）
2016年夏季学期
自动机理论（研讨会、散文会）
程序分析和软件测试（研讨会）
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
网络物理系统-混合模型（讲座）
软件技术/软件工程（讲座）
2015/16年冬季学期
自动机理论（研讨会、散文会）
决策程序（讲座）
程序分析和软件测试（研讨会）
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
UML中的软件设计、建模和分析（讲座）
2015年夏季学期
自动机理论（研讨会、散文会）
项目分析（研讨会）
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
软件技术/软件工程（讲座）
2014/2015年冬季学期
Automatentheorie（普罗塞米纳）
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
信息技术III
UML中的软件设计、建模和分析（讲座）
2014年夏季学期
自动机理论（研讨会）
《Informatik》中的Einführung（Vorlesung）
C语言形式化方法研讨会
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
计算机科学理论（桥梁课程）（教程）
实时系统（讲座）
2013/2014年冬季学期
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
网络物理系统的设计与分析（研讨会）
计算机支持的建模和推理
信息技术III
静态代码分析（研讨会）
UML中的软件设计、建模和分析（讲座）
软件测试（研讨会）
2013年夏季学期
自动机理论研讨会
决策程序（讲座）
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
需求工程高级专题研讨会
软件工程高级专题研讨会
网络物理系统-混合模型
混合动力系统研讨会
实时系统（讲座）
软件工程课程
2012/2013年冬季学期
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
网络物理系统的设计与分析（研讨会）
网络物理系统I-模型检查（讲座）
Java的形式化方法（讲座）
UML中的软件设计、建模和分析（讲座）
软件测试（研讨会）
Testverfahren für Softwaretechnik（Prosminar）
2012年夏季学期
自动机理论
决策程序
需求工程研讨会/研讨会（高级）主题
Softwarepraktikum（Nur für信息学理学士和ESE理学士）
网络物理系统-混合模型
混合动力系统研讨会
基于模型的测试和分析
实时系统（讲座）
理论I
2011/2012年冬季学期
Softwarepraktikum（Nicht für理学学士、信息学学士和ESE理学学士）
网络物理系统的设计与分析
Java的形式化方法
程序验证
静态代码分析
UML中的软件设计、建模和分析
软件测试
工具
旗舰版
SMT互联网
汉福尔
加佐
混合动力系统
SpaceEx中的假设保证抽象细化
坦克网络分层控制器基准生成器
FMI协同模拟
混合系统的引导模型检查
混合自动机：从验证到实现
基于抽象的多仿射系统参数综合
方向优化框架
ACSAR公司
调幅电视
博内
驱邪
微控制器
项目
AVACS公司
扎洛莫
Verisoft XT公司
格拉迪尔滕科列格
案例研究库
无线火灾报警系统
拟因变量
准等时钟缩短
研究数据库
服务
画廊
联系人
导航
团队
教学
工具
旗舰版
SMT互联网
汉福尔
加佐
混合动力系统
ACSAR公司
调幅电视
博内
驱邪
微控制器
项目
研究数据库
服务
画廊
联系人
«
五月
2024
»
五月
钼
涂
我们
Th（第个）
法语
Sa公司
苏
1
2
三
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
