Volume 57, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 57, Issue 1

July 2021

Special issue on CAV 2018

Issue Editors:

Georg Weissenbacher,
Hana Chockler

6 articles in this issue

Preface of the special issue on the conference on computer-aided verification 2018
Hana Chockler
Georg Weissenbacher
EditorialNotes 28 April 2021 Pages: 1 - 2
Quasi-optimal partial order reduction
Camille Coti
Laure Petrucci
Marcelo Sousa
OriginalPaper 12 October 2020 Pages: 3 - 33
Model checking boot code from AWS data centers
Byron Cook
Kareem Khazem
Mark R. Tuttle
OriginalPaper Open access 15 April 2020 Pages: 34 - 52
Boolean functional synthesis: hardness and practical algorithms
S. Akshay
Supratik Chakraborty
Shetal Shah
OriginalPaper 21 October 2020 Pages: 53 - 86
On solving quantified bit-vector constraints using invertibility conditions
Aina Niemetz
Mathias Preiner
Cesare Tinelli
OriginalPaper 18 January 2021 Pages: 87 - 115
2018 CAV award
Kim G. Larsen
Natarajan Shankar
Somesh Jha
Announcement 28 June 2021 Pages: 116 - 117