1. Loop summarization using state and transition invariants

   • Daniel Kroening
   • Natasha Sharygina
   • Christoph M. Wintersteiger

   OriginalPaper 18 October 2012 Pages: 221 - 261

   

2. Event clock message passing automata: a logical characterization and an emptiness checking algorithm

   • S. Akshay
   • Benedikt Bollig
   • Paul Gastin

   OriginalPaper 08 December 2012 Pages: 262 - 300

   

3. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives

   • Krishnendu Chatterjee
   • Monika Henzinger
   • Nisarg Shah

   OriginalPaper 13 December 2012 Pages: 301 - 327