U.S.-Germany Cooperative Research: Integrating Platforms for Finite-State Verification

9981558施密特该奖项支持来自堪萨斯州立大学的David Schmidt、两名合作pi和两名研究生与德国多特蒙德大学信息科学系的Bernhard Steffan的合作。合作研究，从两个不同的角度，软件的自动验证。德国和美国的团队将把他们的开放工具架构（多特蒙德的电子工具集成和堪萨斯州立大学的班德拉）集成到一个统一的平台上，该平台可以支持健壮的软件验证实验。堪萨斯州立大学将建立一个电子工具集成库，使美国研究人员更容易获得这项服务。所有的研究知识将在两个小组之间共享，并将导致有限状态软件验证的高级符号的开发。

9981558SchmidtThis award supports David Schmidt, two co-PIs, and two graduate students from Kansas State University in a collaboration with Bernhard Steffan of the Department of Information Sciences at the University of Dortmund, Germany. The collaboration studies, from two different perspectives, the automated validation of software. The German and U.S. groups will integrate their open-tool architectures (Electronic Tool Integration at Dortmund and Bandera at Kansas State) into a unified platform that can support robust software validation experiments. A repository for electronic tool integration will be created at Kansas State to make the service more readily available to U.S. researchers. All research knowledge will be shared between the two groups, and will lead to development of high-level notations for finite-state software validation.