Volume 45, Issue 2

October 2014

Special issue on FMCAD 2012

Issue Editors:

7 articles in this issue

Quantifier elimination by dependency sequents
Eugene Goldberg
Panagiotis Manolios
OriginalPaper 14 August 2014 Pages: 111 - 143
Scalable reachability analysis via automated dynamic netlist-based hint generation
Jiazhao Xu
Mark Williams
Jason Baumgartner
OriginalPaper 15 August 2014 Pages: 144 - 164
Quantifier-free encoding of invariants for hybrid systems
Alessandro Cimatti
Sergio Mover
Stefano Tonetta
OriginalPaper 07 December 2013 Pages: 165 - 188
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
Alexey Lvov
Luis A. Lastras-Montaño
Ali El-Zein
OriginalPaper 29 March 2014 Pages: 189 - 212
Deciding floating-point logic with abstract conflict driven clause learning
Martin Brain
Vijay D’Silva
Daniel Kroening
OriginalPaper Open access 20 December 2013 Pages: 213 - 245
Verifying global start-up for a Möbius ring-oscillator
Chao Yan
Mark R. Greenstreet
Suwen Yang
OriginalPaper 13 December 2013 Pages: 246 - 272
Budget-bounded model-checking pushdown systems
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Jari Stenman
OriginalPaper 25 April 2014 Pages: 273 - 301

Search