Computerunterstützte Verifikation mit abstrakten Modellen
抽象模型的计算机辅助验证
基本信息
- 批准号：5344856
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：2001
- 资助国家：德国
- 起止时间：2000-12-31 至 2005-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Unser Ziel ist die Entwicklung von Abstraktionstechniken, die eine vollautomatische Systemanalyse für eine breite Klasse von Hard- und Softwaresystemen ermöglichen. Die Ergebnisse sollen in einem Prototypwerkzeug implementiert werden, das anhand mehrerer Fallstudien die theoretischen Effizienzbetrachtungen um experimentelle Ergebnisse ergänzen und Einblick in die Anwendbarkeit der entworfenen Methoden auf "reale" Systeme geben sollen.
Unser Ziel ist die Entwicklung von Abstraktionstechniken, die eine vollautomatische Systemanalysis for eine breite Klasse von Hard- and Software systemen ermöglichen.在“真实”系统中进行实验和实验。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Professorin Dr. Christel Baier其他文献
Professorin Dr. Christel Baier的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professorin Dr. Christel Baier', 18)}}的其他基金
Temporal Logics and Probabilistic Model Checking for Weighted Structures
加权结构的时态逻辑和概率模型检查
- 批准号：
289295178 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Research Grants
Unambiguity, alternation and non-standard acceptance in automata-based probabilistic model checking
基于自动机的概率模型检查中的明确性、交替性和非标准接受
- 批准号：
313089026 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Research Grants
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
使用随机系统模型检查技术 (ROCKS) 进行严格的可靠性分析
- 批准号：
133365105 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen
通过概率模型检查和交互式定理证明相结合来验证微内核操作系统的定量特性
- 批准号：
147212833 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Synthesis and Analysis of Component Connectors (SYANCO)
元件连接器的综合与分析（SYANCO）
- 批准号：
19965642 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Reduktionsmethoden zur Verifikation omega-regulärer und temporallogischer Eigenschaften für kommunizierende probabilistische Prozesse
用于验证用于通信概率过程的欧米伽正则和时间逻辑属性的约简方法
- 批准号：
5438551 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Research Grants
相似国自然基金
海尔特兹树莓矢车菊素类化合物激活AMPK改善胰岛素抵抗的机制研究
- 批准号：
- 批准年份：2022
- 资助金额：32 万元
- 项目类别：地区科学基金项目
Hilbert模，Toeplitz代数和Corona问题
- 批准号：10171019
- 批准年份：2001
- 资助金额：13.0 万元
- 项目类别：面上项目
相似海外基金
Robotergestützte Fluoreszenzspektroskopie
机器人辅助荧光光谱
- 批准号：
290278514 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Bildgestützte Hochpräzisionsbestrahlungsanlage für Tumore in Kleintieren (Small Animal Radiation Research Platform SARRP)
基于图像的小动物肿瘤高精度放射系统（小动物放射研究平台SARRP）
- 批准号：
274625700 - 财政年份：2015
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Plasma-unterstützte Gasphasendepositionsanlage (Plasma-Enhanced Chemical Vapor Deposition, PECVD)
等离子体辅助气相沉积系统（等离子体增强化学气相沉积，PECVD）
- 批准号：
273513748 - 财政年份：2015
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Bildgestützte Hochpräzisionsbestrahlungsanlage für Tumore in Kleintieren
图像支持的小动物肿瘤高精度照射系统
- 批准号：
245712182 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Ganzheitliches Prozessmodell für die ultraschallunterstützte Gesteinszerspanung
超声辅助岩石切割的整体过程模型
- 批准号：
216431941 - 财政年份：2012
- 资助金额：
-- - 项目类别：
Research Grants