1. Abstraction refinement and antichains for trace inclusion of infinite state systems

   • Lukáš Holík
   • Radu Iosif
   • Tomáš Vojnar

   OriginalPaper 08 July 2020 Pages: 137 - 170

   

2. Multi-scale verification of distributed synchronisation

   • Paul Gainer
   • Sven Linker
   • Michael Fisher

   OriginalPaper Open access 20 September 2020 Pages: 171 - 221