1. Developments in automated verification techniques

   • Cormac Flanagan
   • Barbara König

   Introduction 20 December 2013 Pages: 123 - 125

2. Bounded phase analysis of message-passing programs

   • Ahmed Bouajjani
   • Michael Emmi

   TACAS 2012 04 May 2013 Pages: 127 - 146

   

3. Pushdown model checking for malware detection

   • Fu Song
   • Tayssir Touili

   TACAS 2012 30 September 2013 Pages: 147 - 173

   

4. A bit too precise? Verification of quantized digital filters

   • Arlen Cox
   • Sriram Sankaranarayanan
   • Bor-Yuh Evan Chang

   TACAS 2012 23 June 2013 Pages: 175 - 190

   

5. Closed-loop verification of medical devices with model abstraction and refinement

   • Zhihao Jiang
   • Miroslav Pajic
   • Rahul Mangharam

   TACAS 2012 24 September 2013 Pages: 191 - 213