刷新
{{item.name}}会员
NSF Young Investigator: Theoretical Underpinnnings of Formal Analysis of Concurrent Systems
NSF 青年研究员：并发系统形式分析的理论基础
基本信息
- 批准号：9257963
- 负责人：
- 金额：$ 21.22万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1992
- 资助国家：美国
- 起止时间：1992-09-15 至 1999-06-22
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
This research addresses automated tools for design and verification of finite-state concurrent systems and the theoretical underpinnings of formal analysis of concurrent systems. Application of the tool to verification of communications protocols and to other real-world concurrent systems are examined. The theoretical investigations provide insight into reasoning about real-time and probabilistic behavior of systems.
这项研究致力于设计和验证有限状态并发系统的自动化工具，以及并发系统形式化分析的理论基础。研究了该工具在通信协议验证和其他实际并发系统中的应用。理论研究为系统的实时和概率行为的推理提供了洞察力。
项目成果
期刊论文数量（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 }}
W. Rance Cleaveland其他文献
W. Rance Cleaveland的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('W. Rance Cleaveland', 18)}}的其他基金
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology
合作研究：以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释
- 批准号：
0926194 - 财政年份：2009
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
Verification of Open-Loop Embedded Control Systems
开环嵌入式控制系统的验证
- 批准号：
0820072 - 财政年份：2008
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
Heterogeneous Specification Formalisms for Reactive Systems
反应式系统的异构规范形式
- 批准号：
9988489 - 财政年份：2000
- 资助金额：
$ 21.22万 - 项目类别：
Continuing Grant
NSF Young Investigator: Theoretical Underpinnnings of Formal Analysis of Concurrent Systems
NSF 青年研究员：并发系统形式分析的理论基础
- 批准号：
9996312 - 财政年份：1999
- 资助金额：
$ 21.22万 - 项目类别：
Continuing Grant
U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems
美德合作研究分布式系统异构验证方法的开发和实施
- 批准号：
9996095 - 财政年份：1998
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
Specification Formalism for Component-Based Concurrent Systems
基于组件的并发系统的规范形式
- 批准号：
9804091 - 财政年份：1998
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
Specification Formalism for Component-Based Concurrent Systems
基于组件的并发系统的规范形式
- 批准号：
9996086 - 财政年份：1998
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems
美德合作研究分布式系统异构验证方法的开发和实施
- 批准号：
9603441 - 财政年份：1997
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
Methodologies for the Automatic Verification of Concurrent Systems
并发系统自动验证方法
- 批准号：
9402807 - 财政年份：1994
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
相似海外基金
The US-China NSF Workshop of Young Investigator Awardees in Bio and Nano Mechanics and Materials
中美国家科学基金会生物和纳米力学与材料青年研究员获奖者研讨会
- 批准号：
0529839 - 财政年份：2005
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
NSF Young Investigator Awards - Workshop on Steroid Hormones and Brain Function: March 2004; Breckenridge, CO
NSF 青年研究员奖 - 类固醇激素和脑功能研讨会：2004 年 3 月；
- 批准号：
0349446 - 财政年份：2004
- 资助金额：
$ 21.22万 - 项目类别：
Standard Grant
NSF Young Investigator: Computational Problems in Evolutionary Tree Construction
NSF 青年研究员：进化树构建中的计算问题
- 批准号：
0096275 - 财政年份：2000
- 资助金额：
$ 21.22万 - 项目类别：
Continuing Grant
NSF Young Investigator: Coordination and Control of DynamicPhysical Systems
NSF 青年研究员：动态物理系统的协调与控制
- 批准号：
0196047 - 财政年份：2000
- 资助金额：
$ 21.22万 - 项目类别：
Continuing Grant
NSF Young Investigator: Testing Object-Oriented Programs
NSF 青年研究员：测试面向对象的程序
- 批准号：
0096321 - 财政年份：1999
- 资助金额：
$ 21.22万 - 项目类别：
Continuing Grant