Foreword to the special issue on the 2017 Static Analysis Symposium

被引：0

作者：

Ranzato, Francesco ^{[1
]}

机构：

[1] Univ Padua, Dipartimento Matemat, Padua, Italy

来源：

FORMAL METHODS IN SYSTEM DESIGN | 2019年 / 54卷 / 01期

关键词：

Formal methods;

D O I：

10.1007/s10703-019-00340-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：1 / 3

页数：3