This volume of Formal Methods in System Design (FMSD) features extended and revised versions of a selection of papers presented at the Static Analysis Symposium (SAS) held on 2017 in New York, NY. The series of Static Analysis Symposia serves as a primary venue for the presentation of theoretical, practical, and applicational advances in the area of static analysis of programs and systems. After the conference, the Program Committee selected the best papers of SAS 2017 and invited their authors to submit an extended version. This special issue of FMSD contains the four high-quality articles that were accepted after a careful reviewing process.

中文翻译：

---

2017年静态分析研讨会特刊前言

这卷系统设计中的正式方法 (FMSD) 包含 2017 年在纽约州纽约举行的静态分析研讨会 (SAS) 上发表的精选论文的扩展和修订版本。静态分析研讨会系列是展示程序和系统静态分析领域的理论、实践和应用进展的主要场所。会后，程序委员会评选出SAS 2017最佳论文，并邀请作者提交加长版。本期《FMSD》特刊收录了四篇经过仔细审查后被接受的高质量文章。