| 119 | -- | 120 | Nikolaj Bjørner, Arie Gurfinkel. Preface of the special issue on the conference on formal methods in computer aided design 2018 |
| 121 | -- | 156 | Peter Backeman, Philipp Rümmer, Aleksandar Zeljic. Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic |
| 157 | -- | 177 | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl. Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations |
| 178 | -- | 210 | Alberto Griggio, Marco Roveri, Stefano Tonetta. Certifying proofs for SAT-based model checking |
| 211 | -- | 245 | Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen. SAT modulo discrete event simulation applied to railway design capacity analysis |
| 246 | -- | 269 | Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham. Temporal prophecy for proving temporal properties of infinite-state systems |
| 270 | -- | 302 | Thomas Pani, Georg Weissenbacher, Florian Zuleger. Rely-guarantee bound analysis of parameterized concurrent shared-memory programs |