并发时间自动机检验算法中的空间压缩技术
批准号：
60203009
项目类别：
青年科学基金项目
资助金额：
20.0 万元
负责人：
赵建华
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
2005
批准年份：
2002
项目状态：
已结题
项目参与者：
郑滔、裴玉、朱平、王刚、史耀馨、谭毅、袁海、陈雨亭
项目摘要
结项摘要
赵建华的其他基金
相似基金
相关文献
中文摘要
本项目的研究内容为在验证并发时间自动机算法中的空间压缩技术，主要包括偏充技术和约束消除技术，偏序技术通过忽略不相关转换之间的顺序来避免对空间的无谓分割。约束消除技术通过静态和动态分析技术来消除无用的约束。这些技术将推动实时系统自动验证技术走向实际应用，提高计算机系统的可靠性。本研究将促进理论研究成果走向应用。
英文摘要
从EDOC到J2EE的MDA模型转换及形式化支撑技术的研究
-
批准号：60573085
-
项目类别：面上项目
-
资助金额：6.0万元
-
批准年份：2005
-
负责人：赵建华
-
依托单位：
国内基金
海外基金