EAGER: Towards the Model Checking of the Partitioned Global Address Space (PGAS) Applications

修订预算的申请金额等于95，725.00美元，与原始预算的差额将由密歇根理工大学提供的10，206.00美元的费用份额支付。总预算包括Ebnenasir博士两个月的暑期工资和18个月的研究生支持，为期12个月。在过去的4个月里，一名参与了本项目初步调查的研究生将在整个12个月内得到本项目的支持。另一名博士生将参与任务3，他将在项目的最后6个月获得支持。

The requested amount of the revised budget is equal to $95,725.00 and the difference with the original budget will be covered by the cost share of $10,206.00 that Michigan Tech will provide. The total budget includes two months of summer salary for Dr. Ebnenasir and 18 months of graduate student support spanned over 12 months. One graduate student who has been involved in the preliminary investigations of this project during past 4 months will be supported by this project for the entire 12 months. Another PhD student -- who will participate in Task 3 -- will be supported for the final 6 months of the project.