Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017 Daryl StewartGeorg Weissenbacher Preface to the special issue FMCAD 2017 18 January 2021 Pages: 303 - 304
Towards efficient verification of population protocols Michael BlondinJavier EsparzaPhilipp J. Meyer OriginalPaper Open access 14 April 2021 Pages: 305 - 342
A relational shape abstract domain Hugo IllousMatthieu LemerreXavier Rival OriginalPaper 24 April 2021 Pages: 343 - 400
Faster algorithms for quantitative verification in bounded treewidth graphs Krishnendu ChatterjeeRasmus Ibsen-JensenAndreas Pavlogiannis OriginalPaper 29 April 2021 Pages: 401 - 428
Automatic proofs of memory deallocation for a Whiley-to-C Compiler Min-Hsien WengRobi MalikMark Utting OriginalPaper 16 August 2021 Pages: 429 - 472
Vacuity in synthesis Roderick BloemHana ChocklerOfer Strichman OriginalPaper Open access 17 September 2021 Pages: 473 - 495