Loop summarization using state and transition invariants Daniel KroeningNatasha SharyginaChristoph M. Wintersteiger OriginalPaper 18 October 2012 Pages: 221 - 261
Event clock message passing automata: a logical characterization and an emptiness checking algorithm S. AkshayBenedikt BolligPaul Gastin OriginalPaper 08 December 2012 Pages: 262 - 300
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives Krishnendu ChatterjeeMonika HenzingerNisarg Shah OriginalPaper 13 December 2012 Pages: 301 - 327