Ulrich Ultes-Nitsche
-
Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing