Temporal Verification and Synthesis of Concurrent Programs (Computer Research)
并发程序的时间验证和综合（计算机研究）
基本信息
- 批准号：8111586
- 负责人：
- 金额：$ 15.42万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1981
- 资助国家：美国
- 起止时间：1981-09-01 至 1985-04-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Zohar Manna其他文献
Zohar Manna的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Zohar Manna', 18)}}的其他基金
CSR---EHS: A Modern Verifying Compiler
CSR---EHS：现代验证编译器
- 批准号：
0615449 - 财政年份：2006
- 资助金额：
$ 15.42万 - 项目类别：
Continuing Grant
US-Europe Cooperative Workshop: Compatability and Integration of Software Engineering Tools
美欧合作研讨会：软件工程工具的兼容性与集成
- 批准号：
0437281 - 财政年份：2004
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant
EHS: Constraint-based Static Analysis of Embedded and Hybrid Systems
EHS：嵌入式和混合系统基于约束的静态分析
- 批准号：
0411363 - 财政年份：2004
- 资助金额：
$ 15.42万 - 项目类别：
Continuing Grant
ITR: Synthesis and Control of Infinite-state Reactive Systems
ITR：无限状态反应系统的合成与控制
- 批准号：
0220134 - 财政年份：2002
- 资助金额：
$ 15.42万 - 项目类别：
Continuing Grant
Modular Deductive-Algorithmic Verification of Hybrid Systems
混合系统的模块化演绎算法验证
- 批准号：
9900984 - 财政年份：1999
- 资助金额：
$ 15.42万 - 项目类别：
Continuing Grant
Abstraction and Compositionality for the Verification of Infinite-State Reactive Systems
无限状态反应系统验证的抽象性和组合性
- 批准号：
9804100 - 财政年份：1998
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant
Tools for the Modular Verification and Refinement of Reactive Systems
用于反应式系统的模块化验证和细化的工具
- 批准号：
9527927 - 财政年份：1996
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant
The Temporal Logic of Reactive Systems
反应式系统的时态逻辑
- 批准号：
9223226 - 财政年份：1993
- 资助金额：
$ 15.42万 - 项目类别：
Continuing Grant
相似国自然基金
Bcl-2家族促凋亡蛋白BH3模拟肽的合成与糖尿病相关作用靶点的确认研究
- 批准号：21907086
- 批准年份：2019
- 资助金额：26.0 万元
- 项目类别：青年科学基金项目
两类生物碱的全合成及其生物活性与靶点确认的研究
- 批准号：21877067
- 批准年份：2018
- 资助金额：67.0 万元
- 项目类别：面上项目
日本血吸虫硫氧还蛋白谷胱甘肽还原酶(SjTGR)成靶性确认与基于该酶的抗血吸虫病药物先导化合物的发现
- 批准号：81773560
- 批准年份：2017
- 资助金额：25.0 万元
- 项目类别：面上项目
一些海洋吲哚生物碱的合成与其生物靶点确认研究
- 批准号：21772181
- 批准年份：2017
- 资助金额：66.0 万元
- 项目类别：面上项目
三例生理活性天然产物的合成、探针化与作用靶点研究
- 批准号：21532002
- 批准年份：2015
- 资助金额：300.0 万元
- 项目类别：重点项目
相似海外基金
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2319400 - 财政年份：2023
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2319399 - 财政年份：2023
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant
SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing Frameworks
SHF：小型：基于属性的测试框架中输入生成器的自动验证和合成
- 批准号：
2321680 - 财政年份：2023
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2404036 - 财政年份：2023
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2409796 - 财政年份：2023
- 资助金额：
$ 15.42万 - 项目类别：
Standard Grant