Ausgabe 2/2021
Special Issue on FMCAD 2018
Inhalt (7 Artikel)
Preface of the special issue on the conference on formal methods in computer aided design 2018
Nikolaj Bjørner, Arie Gurfinkel
Open Access
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
Peter Backeman, Philipp Rümmer, Aleksandar Zeljić
Open Access
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Open Access
SAT modulo discrete event simulation applied to railway design capacity analysis
Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
Open Access
Temporal prophecy for proving temporal properties of infinite-state systems
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Open Access
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs
Thomas Pani, Georg Weissenbacher, Florian Zuleger