Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification Michael HuthOrna Grumberg Introduction 04 February 2009 Pages: 85 - 94
An abstraction-based decision procedure for bit-vector arithmetic Randal E. BryantDaniel KroeningBryan Brady Special Section on TACAS07 12 February 2009 Pages: 95 - 104
A low-level memory model and an accompanying reachability predicate Shaunak ChatterjeeShuvendu K. LahiriZvonimir Rakamarić Special Section on TACAS07 27 January 2009 Pages: 105 - 116
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems Andy Jinqing YuGianfranco CiardoGerald Lüttgen Special Section on TACAS07 12 February 2009 Pages: 117 - 131
The worst-case execution time tool challenge 2006 Lili Tan Regular Contribution 24 January 2009 Pages: 133 - 152
Automated implementation of complex distributed algorithms specified in the IOA language Chryssis GeorgiouNancy LynchJoshua A. Tauber Regular Contribution 08 January 2009 Pages: 153 - 171