CISE PostDoc: Verification Tools for Net-Based Programming

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

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.