NSF Student Travel Grant for 2017 Conference on Computer Aided Verification

该旅行补助金为15名美国学生提供支持，以参加将于2017年7月24日至28日在德国海德堡举行的第29届计算机辅助验证（CAV）会议。CAV是形式验证领域的主要会议之一，致力于推进硬件和软件系统的计算机辅助形式分析和综合方法的理论和实践。会议涵盖了从理论结果到具体应用的范围，重点是实用的验证工具及其实施所需的算法和技术。像CAV这样的会议是研究生参加技术演示的近乎独特的机会，与该领域的领先研究人员互动，并获得有关他们研究的宝贵反馈。

This travel grant provides supports for 15 US-based students to attend the 29th Conference on Computer-Aided Verification (CAV) to be held in Heidelberg, Germany, on July 24-28th 2017. CAV, one of the premier conference in formal verification, is dedicated to the advancement of the theory and practice of computer-aided formal analysis and synthesis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Conferences like CAV are a near-unique opportunity for graduate students to attend technical presentations, interact with the leading researchers in the field, and receive valuable feedback on their research.