1. Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification

   • Michael Huth
   • Orna Grumberg

   Introduction 04 February 2009 Pages: 85 - 94

2. An abstraction-based decision procedure for bit-vector arithmetic

   • Randal E. Bryant
   • Daniel Kroening
   • Bryan Brady

   Special Section on TACAS07 12 February 2009 Pages: 95 - 104

3. A low-level memory model and an accompanying reachability predicate

   • Shaunak Chatterjee
   • Shuvendu K. Lahiri
   • Zvonimir Rakamarić

   Special Section on TACAS07 27 January 2009 Pages: 105 - 116

4. Decision-diagram-based techniques for bounded reachability checking of asynchronous systems

   • Andy Jinqing Yu
   • Gianfranco Ciardo
   • Gerald Lüttgen

   Special Section on TACAS07 12 February 2009 Pages: 117 - 131

5. The worst-case execution time tool challenge 2006

   • Lili Tan

   Regular Contribution 24 January 2009 Pages: 133 - 152

6. Automated implementation of complex distributed algorithms specified in the IOA language

   • Chryssis Georgiou
   • Nancy Lynch
   • Joshua A. Tauber

   Regular Contribution 08 January 2009 Pages: 153 - 171