This volume of Formal Methods in System Design (FMSD) features extended versions of a selection among the papers published at the 23rd Static Analysis Symposium (SAS), hold on September 8–10, in Edinburgh, UK.

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and applicational advances in the area. This volume pursues this goal and allows SAS 2016 authors to present material such as additional results, extensions, benchmarks, or proofs.

The conference received 55 submissions, each of which was reviewed by at least three Program Committee members. The Program Committee decided to accept 21 papers for publication and presentation at the conference.

Furthermore, we selected a group of authors for invitation to publish an extended version in this volume. Among them, six accepted. After a review process that required two to three series of revisions for each paper, we are happy to proceed with the publication of the final extended versions.

We would like to thank the authors for their excellent work, all the reviewers who contributed to improve the quality of the papers, and Daniel Kroening, who acts as FMSD Editor in Chief and the whole Springer Support team who made the preparation and publication of this volume possible.