1. Model checking mobile ad hoc networks

   • Fatemeh Ghassemi
   • Wan Fokkink

   OriginalPaper 04 August 2016 Pages: 159 - 189

   

2. Infinite-state invariant checking with IC3 and predicate abstraction

   • Alessandro Cimatti
   • Alberto Griggio
   • Stefano Tonetta

   OriginalPaper 23 September 2016 Pages: 190 - 218

   

3. From LTL to deterministic automata

   • Javier Esparza
   • Jan Křetínský
   • Salomon Sickert

   OriginalPaper 03 December 2016 Pages: 219 - 271

   

4. A layered algorithm for quantifier elimination from linear modular constraints

   • Ajith K. John
   • Supratik Chakraborty

   OriginalPaper 07 December 2016 Pages: 272 - 323