Preface of the special issue on the conference on formal methods in computer aided design 2018

Backeman P, Rümmer P, Zeljic A (2018) Bit-vector interpolation and quantifier elimination by lazy reduction. In: Bjørner N, Gurfinkel A (eds) 2018 Formal methods in computer aided design, FMCAD 2018, Austin, TX, USA, October 30–November 2, 2018. IEEE Bloem R, Braud-Santoni N, Hadzic V, Egly U, Lonsing F, Seidl M (2018) Expansion-based QBF solving without recursion. In: Bjørner N, Gurfinkel A (eds)2018 Formal methods in computer aided design, FMCAD 2018, Austin, TX, USA, October 30–November 2, 2018. IEEE Griggio A, Roveri M, Tonetta S (2018) Certifying proofs for LTL model checking. In: Bjørner N, Gurfinkel A (eds) 2018 Formal methods in computer aided design, FMCAD 2018, Austin, TX, USA, October 30–November 2, 2018. IEEE Luteberget B, Claessen K, Johansen C (2018) Design-time railway capacity verification using SAT modulo discrete event simulation. In: Bjørner N, Gurfinkel A (eds) 2018 Formal methods in computer aided design, FMCAD 2018, Austin, TX, USA, October 30–November 2, 2018. IEEE Padon O, Hoenicke J, McMillan KL, Podelski A, Sagiv M, Shoham S (2018) Temporal prophecy for proving temporal properties of infinite-state systems. In: Bjørner N, Gurfinkel A (eds) 2018 Formal methods in computer aided design, FMCAD 2018, Austin, TX, USA, October 30–November 2, 2018. IEEE Pani T, Weissenbacher G, Zuleger F (2018) Rely-guarantee reasoning for automated bound analysis of lock-free algorithms. In: Bjørner N, Gurfinkel A (eds) 2018 Formal methods in computer aided design, FMCAD 2018, Austin, TX, USA, October 30–November 2, 2018. IEEE