Issue 3/2020
Content (2 Articles)
Abstraction refinement and antichains for trace inclusion of infinite state systems
Lukáš Holík, Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
Open Access
Multi-scale verification of distributed synchronisation
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher