WORKSHOP: Future Directions For Formal Methods

过去的十年见证了软件验证理论和实践的巨大进步，以及验证技术从研究实验室到开发工具的几个成功案例。然而，尽管取得了这些进展，在几个方向上仍有许多工作要做。其中包括确定将这些进步应用于更广泛、更高层次问题的最佳方式，如网络物理系统和医学等新领域的可靠性和隐私；在寻找最好的方式来接触从业者，并培训工程师使用正式的方法，原则，方法论和工具；并通过使用共享平台和基础设施，找到成倍提高研究人员效率的方法。本次研讨会的目标是确定形式方法研究的未来方向及其向工业实践的过渡。研讨会将汇集来自学术界、工业界和政府研究实验室在形式化方法和验证领域工作的研究人员，并确定该领域的主要挑战，包括基础的、基础设施的挑战，以及将研究实验室的想法转变为开发工具的挑战。

The past decade has seen tremendous advances in the theory and practice of software verification, and several success stories in the transition of verification techniques from the research lab to development tools. However, despite these advances, much work remains in several directions. These include determining the best ways to applying these advances to broader, higher-level issues like reliability, and privacy in new domains like cyber-physical systems and medicine; in finding the best ways to reach out to practitioners, and to train engineers to use formal methods principles, methodologies and tools; and in finding ways for to multiply the effectiveness of researchers through the use of shared platforms and infrastructure.The goal of this workshop is to identify the future directions in research in formal methods and its transition to industrial practice. The workshop will bring together researchers from academia, industry, and government research labs working in the area of formal methods and verification, and identify primary challenges in the field, both foundational, infrastructural, and in transitioning ideas from research labs to developer tools.