Volume 54, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 54, Issue 1

August 2019

'Special issue on 'SAS 2017'

Issue Editor:

Francesco Ranzato

5 articles in this issue

Foreword to the special issue on the 2017 Static Analysis Symposium
Francesco Ranzato
S.I.: SAS 2017 26 August 2019 Pages: 1 - 3
Abstract semantic diffing of evolving concurrent programs
Ahmed Bouajjani
Constantin Enea
Shuvendu K. Lahiri
OriginalPaper 21 August 2018 Pages: 4 - 26
Template polyhedra and bilinear optimization
Jessica Gronski
Mohamed-Amin Ben Sassi
Sriram Sankaranarayanan
OriginalPaper 04 September 2018 Pages: 27 - 63
Quantitative static analysis of communication protocols using abstract Markov chains
Abdelraouf Ouadjaout
Antoine Miné
OriginalPaper 17 January 2019 Pages: 64 - 109
A new abstraction framework for affine transformers
Tushar Sharma
Thomas Reps
OriginalPaper 18 October 2018 Pages: 110 - 143