Issue 2/2014
Special issue on FMCAD 2012
Content (7 Articles)
Scalable reachability analysis via automated dynamic netlist-based hint generation
Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner
Quantifier-free encoding of invariants for hybrid systems
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
Alexey Lvov, Luis A. Lastras-Montaño, Barry Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Open Access
Deciding floating-point logic with abstract conflict driven clause learning
Martin Brain, Vijay D’Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
Budget-bounded model-checking pushdown systems
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman