Developments in automated verification techniques Cormac FlanaganBarbara König Introduction 20 December 2013 Pages: 123 - 125
Bounded phase analysis of message-passing programs Ahmed BouajjaniMichael Emmi TACAS 2012 04 May 2013 Pages: 127 - 146
Pushdown model checking for malware detection Fu SongTayssir Touili TACAS 2012 30 September 2013 Pages: 147 - 173
A bit too precise? Verification of quantized digital filters Arlen CoxSriram SankaranarayananBor-Yuh Evan Chang TACAS 2012 23 June 2013 Pages: 175 - 190
Closed-loop verification of medical devices with model abstraction and refinement Zhihao JiangMiroslav PajicRahul Mangharam TACAS 2012 24 September 2013 Pages: 191 - 213