Travel and Registration Support for Computer Aided Verification 2011

这笔资金允许10名学生前往计算机辅助验证2011年会议及其在犹他州雪鸟举行的联盟研讨会，在7月14日至20日。它还允许这些学生部分抵消注册费用。CAV旅游奖委员会强调资助少数民族和代表性不足的群体。这是第23届的CAV系列，并继续在开发软件和硬件正确性的新方法的关键。智力优势：CAV是基于模型检查和相关技术的软件和硬件正确性的首要会议。这些方法是生产正确的硬件和软件的基础。这笔资金通过提高学生，特别是代表性不足的群体的出勤率和参与率，促进了科学的发展。更广泛的影响：该奖项确保学生，特别是代表性不足的群体和少数民族，参与软件和硬件革命。 它确保了关键技术的发展，用于从医疗到航空航天等关键应用的计算系统的正确操作。 它确保为硬件/软件行业和学术界提供足够和广泛的受过训练的人力资源。

This funding allows ten students to travel to the Computer Aided Verification 2011 conference and its allied workshops held at Snowbird, Utah, during July 14-20. It also allows these students to partially offset registration costs. The CAV Travel Awards committee emphasizes funding minorities and underrepresented groups. This CAV is 23rd in its series and continues to be pivotal in developing new methods for software and hardware correctness.INTELLECTUAL MERIT: CAV is the premier conference on software and hardware correctness based on model checking and allied technologies. These methods are fundamental to the production of correct hardware and software. This funding allows the advancement of science by increasing attendance and participation by students, especially underrepresented groups. Such participation is vital for sustaining the intellectual aspects of a flagship conference.BROADER IMPACT: This award ensures the participation of students, especially underrepresented groups and minorities, in the software and hardware revolution. It ensures the development of vital technologies for correct operation of computing systems used for critical applications ranging from medical to aerospace. It ensures adequate and broad-based supply of trained manpower for hardware/software industries and academia.