课题基金 / 基金详情

Use of model-checking technology to facilitate testing and analysis of complex state-machine models

Use of model-checking technology to facilitate testing and analysis of complex state-machine models
使用模型检查技术促进复杂状态机模型的测试和分析
批准号：
319663-2004
负责人：
Chechik, Marsha
金额：
$5.93万
依托单位：
University of Toronto
依托单位国家：
加拿大
项目类别：
Collaborative Research and Development Grants
财政年份：
2007
资助国家：
加拿大
项目状态：
已结题
起止时间：
2007-01-01 至 2008-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=368387
关键词：
Usemodelcheckingtechnologyfacilitate

项目摘要

项目成果

Chechik, Marsha的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Assuring Complex Software Systems
  • 批准号：
    RGPIN-2022-03075
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2022
  • 负责人：
    Chechik, Marsha
  • 依托单位：
    University of Toronto
Abstraction and Automation for Reasoning about Complex Software
  • 批准号：
    RGPIN-2015-06366
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.64万
  • 财政年份：
    2021
  • 负责人：
    Chechik, Marsha
  • 依托单位：
    University of Toronto
Abstraction and Automation for Reasoning about Complex Software
  • 批准号：
    RGPIN-2015-06366
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.64万
  • 财政年份：
    2020
  • 负责人：
    Chechik, Marsha
  • 依托单位：
    University of Toronto
Abstraction and Automation for Reasoning about Complex Software
  • 批准号：
    RGPIN-2015-06366
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.64万
  • 财政年份：
    2019
  • 负责人：
    Chechik, Marsha
  • 依托单位：
    University of Toronto
国内基金
海外基金
基于术中实时影像的SAM(Segment anything model)开发AI指导房间隔穿刺位置决策的增强现实模型
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    居维竹
  • 依托单位：
    江苏省人民医院
运用3D打印和生物反应器构建仿生尿道模型探索Hippo-YAP信号通路调控尿道损伤修复的机制研究
  • 批准号：
    82370684
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    傅强
  • 依托单位：
    上海交通大学
基于影像代谢重塑可视化的延胡索酸水合酶缺陷型肾癌危险性分层模型的研究
  • 批准号：
    82371912
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    吴广宇
  • 依托单位：
    上海交通大学
高维隐含因子与定价误差的协同估计
  • 批准号：
    72101226
  • 项目类别：
    青年科学基金项目（C类）
  • 资助金额：
    30.0万元
  • 批准年份：
    2021
  • 负责人：
    丁一
  • 依托单位：
    珠海澳大科技研究院