1. Some advances in tools and algorithms for the construction and analysis of systems

   • Christel Baier
   • Cesare Tinelli

   Introduction 04 September 2017 Pages: 649 - 652

2. Variations on parallel explicit emptiness checks for generalized Büchi automata

   • E. Renault
   • A. Duret-Lutz
   • D. Poitrenaud

   TACAS 2015 26 April 2016 Pages: 653 - 673

   

3. Sylvan: multi-core framework for decision diagrams

   • Tom van Dijk
   • Jaco van de Pol

   TACAS 2015 Open access 19 October 2016 Pages: 675 - 696

   

4. AutoProof: auto-active functional verification of object-oriented programs

   • Carlo A. Furia
   • Martin Nordio
   • Julian Tschannen

   TACAS 2015 06 April 2016 Pages: 697 - 716

   

5. A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

   • Jean-Baptiste Jeannin
   • Khalil Ghorbal
   • André Platzer

   TACAS 2015 04 October 2016 Pages: 717 - 741

   

6. RAMBUTANS: automatic AOP-specific test generation tool

   • Reza Meimandi Parizi
   • Abdul Azim Abdul Ghani
   • Saif Ur Rehman Khan

   Regular Paper 20 July 2016 Pages: 743 - 761

   

7. VerifyThis 2015

   • Marieke Huisman
   • Vladimir Klebanov
   • Michael Tautschnig

   Regular Paper Open access 18 October 2016 Pages: 763 - 771