Volume 57, Issue 2

August 2021

Special Issue on FMCAD 2018

Issue Editors:

7 articles in this issue

Preface of the special issue on the conference on formal methods in computer aided design 2018
Nikolaj Bjørner
Arie Gurfinkel
EditorialNotes 20 October 2021 Pages: 119 - 120
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
Peter Backeman
Philipp Rümmer
Aleksandar Zeljić
OriginalPaper Open access 12 May 2021 Pages: 121 - 156
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Roderick Bloem
Nicolas Braud-Santoni
Martina Seidl
OriginalPaper Open access 23 August 2021 Pages: 157 - 177
Certifying proofs for SAT-based model checking
Alberto Griggio
Marco Roveri
Stefano Tonetta
OriginalPaper 24 June 2021 Pages: 178 - 210
SAT modulo discrete event simulation applied to railway design capacity analysis
Bjørnar Luteberget
Koen Claessen
Martin Steffen
OriginalPaper Open access 31 March 2021 Pages: 211 - 245
Temporal prophecy for proving temporal properties of infinite-state systems
Oded Padon
Jochen Hoenicke
Sharon Shoham
OriginalPaper Open access 23 July 2021 Pages: 246 - 269
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs
Thomas Pani
Georg Weissenbacher
Florian Zuleger
OriginalPaper Open access 06 April 2021 Pages: 270 - 302

Search