program verification by combining dynamic and static analysis

动态与静态分析相结合的程序验证

基本信息

  • 批准号：
    392064-2010
  • 负责人：
    Albarghouthi, Aws
  • 金额：
    $ 2.55万
  • 依托单位：
    University of Toronto
  • 依托单位国家：
    加拿大
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
  • 财政年份：
    2011
  • 资助国家：
    加拿大
  • 起止时间：
    2011-01-01 至 2012-12-31
  • 项目状态：
    已结题

项目摘要

No summary - Aucun sommaire
没有摘要--Aucun Sommaire

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Albarghouthi, Aws其他文献

Scaling-up in-memory datalog processing: observations and techniques
扩大内存数据记录处理：观察和技术
  • DOI：
    10.14778/3311880.3311886
  • 发表时间：
    2019
  • 期刊：
    Proceedings of the VLDB Endowment
  • 影响因子：
    2.5
  • 作者：
    Fan, Zhiwei;Zhu, Jianqiao;Zhang, Zuyu;Albarghouthi, Aws;Koutris, Paraschos;Patel, Jignesh M.
  • 通讯作者：
    Patel, Jignesh M.
Sketching Robot Programs On the Fly
即时绘制机器人程序草图
Repairing Decision-Making Programs under Uncertainty
修复不确定性下的决策程序
  • DOI：
  • 发表时间：
    2017
  • 期刊：
    Computer Aided Verification
  • 影响因子：
    0
  • 作者：
    Albarghouthi, Aws;D'Antoni, Loris;Drews, Samuel
  • 通讯作者：
    Drews, Samuel
Synthesizing Action Sequences for Modifying Model Decisions
综合修改模型决策的动作序列
Generating Programmatic Referring Expressions via Program Synthesis
通过程序合成生成程序引用表达式

Albarghouthi, Aws的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Albarghouthi, Aws', 18)}}的其他基金

program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
  • 批准号：
    392064-2010
  • 财政年份：
    2012
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
  • 批准号：
    392064-2010
  • 财政年份：
    2010
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
RATH- Data structure for relation-algebraic programming
RATH-关系代数规划的数据结构
  • 批准号：
    353314-2007
  • 财政年份：
    2007
  • 资助金额：
    $ 2.55万
  • 项目类别：
    University Undergraduate Student Research Awards

相似海外基金

Enabling rapid and effective stroke thrombectomy procedures from a Transradial approach: Combining introducer sheath, guide catheter, and distal access catheter into a single device.
通过经桡动脉途径实现快速有效的中风血栓切除术：将导引鞘、引导导管和远端通路导管组合成单个设备。
  • 批准号：
    10761331
  • 财政年份：
    2023
  • 资助金额：
    $ 2.55万
  • 项目类别：
PPoSS: LARGE: Intel: Combining Learning and Formal Verification for Scalable Machine Programming (ScaMP)
PPoSS：大：英特尔：结合学习和形式验证实现可扩展机器编程 (ScaMP)
  • 批准号：
    2217064
  • 财政年份：
    2022
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Continuing Grant
Study on Automated Design Verification Combining a SAT-based Method and a Machine Learning Technique
基于SAT的方法和机器学习技术相结合的自动化设计验证研究
  • 批准号：
    18K11216
  • 财政年份：
    2018
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and Verification
EPSRC-皇家学会奖学金参与 (2013)：结合约束和验证
  • 批准号：
    EP/M003728/1
  • 财政年份：
    2014
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Fellowship
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
  • 批准号：
    392064-2010
  • 财政年份：
    2012
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
program verification by combining dynamic and static analysis
动态与静态分析相结合的程序验证
  • 批准号：
    392064-2010
  • 财政年份：
    2010
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Improving quality of concurrent and distributed systems by combining testing and formal verification
通过结合测试和形式验证来提高并发和分布式系统的质量
  • 批准号：
    203248-2002
  • 财政年份：
    2005
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
Improving quality of concurrent and distributed systems by combining testing and formal verification
通过结合测试和形式验证来提高并发和分布式系统的质量
  • 批准号：
    203248-2002
  • 财政年份：
    2004
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
Improving quality of concurrent and distributed systems by combining testing and formal verification
通过结合测试和形式验证来提高并发和分布式系统的质量
  • 批准号：
    203248-2002
  • 财政年份：
    2003
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
Improving quality of concurrent and distributed systems by combining testing and formal verification
通过结合测试和形式验证来提高并发和分布式系统的质量
  • 批准号：
    203248-2002
  • 财政年份：
    2002
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了