Travel Support to conduct research on Automated Generation of Verification Tools: INRIA-Antibes, France: 1992

根据CCR-9120995奖，纽约州立大学斯坦布鲁克分校的首席调查员和他的同事们正在继续他们由国家科学基金会资助的关于并发系统的核查工具和调查结果的软件资本化的研究。与此同时，E.Madelaine和他在INRIA的合作者正在从事一个独立的、密切相关的项目。这一补充奖励为P.I.和一名研究生提供INRIA的旅费，以便在实施阶段以前端生成器的形式将这两项活动结合起来，接受语言规范并生成例程，将设计编译成有限状态机。Inria将支持欧洲调查人员的类似协调努力。

Under the award CCR-9120995, the Principle Investigator and his colleagues at SUNY Stonybrook are continuing their NSF funded research on verification tools for concurrent systems and on software capitalization of the findings. Simultaneously, E. Madelaine and his collaborators at INRIA are engaged in an independent, closely related project. This supplemental award provides travel money to INRIA for the P. I. and one graduate student so that the two activities can be combined at the implementation stage in the form of a front-end generator accepting language specifications and producing routines to compile designs into finite state machines. INRIA will support a comparable coordination effort by the European investigators.