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.