CISE/CCF: 2016 Summer School on Formal Techniques

正式核查涵盖了学术界广泛研究并在工业界经常使用的各种技术。这些技术知识的传播速度的任何加快都将带来上级技术、更好的用户以及令人兴奋和意义深远的应用。这笔赠款将组织形式化技术暑期学校，让学生学习形式化建模和验证方面的尖端技术。讲座是严格的，将涵盖正式技术的频谱，包括静态分析，模型检查，定理证明，不变式生成，组合验证，安全和系统生物学。讲座将由动手实验室支持。参加者在学校讨论自己的研究想法，并与讲师和其他学生密切互动。以往的暑期学校在向来自不同研究领域的学生传授理论知识和实践技能方面产生了广泛的影响。这些暑期学校受到参与者的热烈欢迎，并帮助发展了一个由年轻研究人员组成的紧密社区。讲座，软件工具和其他课程材料可从以前的暑期学校网站。

Formal verification covers a wide range of technologies that are widely studied in academia and routinely used in industry. Any acceleration in the diffusion of knowledge about these techniques will lead to superior technology, better users, and exciting and far-reaching applications. This grant will organize the Summer School on Formal Techniques for students to learn about cutting-edge techniques in formal modeling and verification. The lectures are rigorous and will cover the spectrum of formal techniques including static analysis, model checking, theorem proving, invariant generation, compositional verification, security and systems biology. The lectures will be supported by hands-on laboratories. Attendees at the school discuss their own research ideas and interact closely with both the lecturers and other students.The previous summer schools have had a significant broad impact in terms of imparting theoretical knowledge as well as practical skills to the students from many different research areas. These summer schools have been received enthusiastically by the participants, and helped develop a well-knit community of young researchers. The lectures, software tools, and other course material are available from the previous summer school web sites.