Abstraction refinement and antichains for trace inclusion of infinite state systems Lukáš HolíkRadu IosifTomáš Vojnar OriginalPaper 08 July 2020 Pages: 137 - 170
Multi-scale verification of distributed synchronisation Paul GainerSven LinkerMichael Fisher OriginalPaper Open access 20 September 2020 Pages: 171 - 221