立项

信息

项目名称

智能终端动态程序的正确性验证及运行时行为检测方法研究

立项部门

浙江省科技厅

实施期限

2011.4至2014.3

协作单位

项目负责人及课题组成员

姓名

职称

工作单位

承担任务

吴明晖

教授

浙江大学城市学院

负责人

薛莲

副教授

浙江大学城市学院

正确性证明

金苍宏

博士生

浙江大学

行为分析

朱凡微

博士生

浙江大学

工具设计

肖鹏

硕士生

浙江大学

功能规约

经费总额

   10万元

其中

拨款

10万元

其他经费

来源及金额

0

经费预算

设备费

0万元

材料费

1万元

测试化验加工费

0.5万元

燃料动力费

0.3万元

差旅费

1.5万元

会议费

1.5万元

合作协作研究与交流费

0万元

劳务费

2.5万元

出版/文献/信息传播/知识产权事务费

1.7万元

专家咨询费

0.5万元

管理费

0.5万元

过程

信息

经费到位情况

已拨入

  10 万元

未拨入

   0 万元

实际经费使用总额

7.180764

万元

阶段性成果

预算支出情况

设备费

0万元

材料费

0. 99314万元

测试化验加工费

0.5万元

燃料动力费

0万元

差旅费

0.51437万元

会议费

0.1359万元

合作协作研究与交流费

0万元

劳务费

2.48万元

出版/文献/信息传播/知识产权事务费

1.657354万元

专家咨询费

0.4万元

管理费

0.5万元

外协费拨出

0万元

大额设备和材料名称和价格

结题验收信息

获得的标志性成果

经费结算情况

验收时间

验收组织单位

验收组成员

结题验收意见