CISE PostDoc: Verification Tools for Net-Based Programming

CISE 博士后：基于网络编程的验证工具

• 批准号: 9805604
• 负责人: Shanthi Iyer
• 金额: $ 6.6万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-04-15 至 2001-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9805604&HistoricalAwards=false
• 关键词: CISE; PostDoc; Verification; Tools; Net

98-05604 Cleaveland, Walter R. North Carolina State University CISE PostDoc: Verification Tool for Net-based Programming This project is devoted to the development of effective automated techniques for modeling and reasoning about the correctness of network-based software. The motivation for the project arises from the exploding popularity of programming in net-based languages like Java coupled with the fact that an incorrectly functioning net-oriented program can inflict serious damage on a whole network and not just on a single site within the network. The methods to be used by the research effort are based on those used successfully in the analysis of finite-state systems such as communications protocols and in the rigorous modeling of programming language constructs. The PI has substantial experience in the former but very little with the latter; the addition of a postdoctoral research associate with a background in the latter is therefore essential for the project's anticipated results---a collection of techniques, and associated tools, for analyzing automatically the safety and fault-tolerance of mobile code---to be achieved.

98-05604 Cleaveland, Walter R. 北卡罗来纳州立大学 CISE 博士后：基于网络的编程验证工具 该项目致力于开发有效的自动化技术，用于对基于网络的软件的正确性进行建模和推理。该项目的动机源于基于网络的语言（如 Java）编程的爆炸性流行，以及功能不正确的面向网络的程序可能对整个网络（而不仅仅是网络中的单个站点）造成严重损害的事实。 研究工作使用的方法基于在通信协议等有限状态系统分析和编程语言结构严格建模中成功使用的方法。 PI 在前者方面拥有丰富的经验，但在后者方面却很少；因此，增加一名具有后者背景的博士后研究员对于该项目的预期结果至关重要——用于自动分析移动代码的安全性和容错性的技术和相关工具的集合——实现了。