课题基金 / 基金详情

实时和混成系统的组合模型验证研究

批准号：
60073031
项目类别：
面上项目
资助金额：
15.0 万元
负责人：
李宣东
依托单位：
南京大学
学科分类：
计算机科学的基础理论
结题年份：
2003
批准年份：
2000
项目状态：
已结题
项目参与者：
赵建华、郑滔、郑国梁、李勇、裴玉、潭文凯、许何、刘晓东、朱平
关键词：
模型验证.实时和混成系统.时段演算

项目摘要

结项摘要

李宣东的其他基金

相似基金

相关文献

中文摘要
本项研究将采用时段演算作为说明语言，以时间自动机、时间自动机网络、混成自动机作为模型语言，围绕实时和混成系统的模型验证中的状态爆炸问题展开研究工作，这在提高实时和混成系统的正确性和可靠性、将理论研究成果转换为实际应用技术、跟踪和发展国际上先进的科学研成果等方面具有重要的意义。
英文摘要
国家自然科学基金委员会计算机学科系统与软件“十四五”发展规划研究
  • 批准号：
    --
  • 项目类别：
    专项基金项目
  • 资助金额：
    16万元
  • 批准年份：
    2019
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于符号执行的复杂软件系统测试与验证研究
  • 批准号：
    61632015
  • 项目类别：
    重点项目
  • 资助金额：
    255.0万元
  • 批准年份：
    2016
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
  • 批准号：
    90818022
  • 项目类别：
    重大研究计划
  • 资助金额：
    260.0万元
  • 批准年份：
    2008
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于场景规约的Web Service组合行为获取与验证研究
  • 批准号：
    60673125
  • 项目类别：
    面上项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2006
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
国内基金
海外基金