Ausgabe 3/2021
Inhalt (6 Artikel)
Preface to the special issue FMCAD 2017
Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017
Daryl Stewart, Georg Weissenbacher
Open Access
Towards efficient verification of population protocols
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
Faster algorithms for quantitative verification in bounded treewidth graphs
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Automatic proofs of memory deallocation for a Whiley-to-C Compiler
Min-Hsien Weng, Robi Malik, Mark Utting