MARRELLA: A TOOL TO ANALYSE THE GRAPH OF STATES
Dominique Ambroise, Brigitte Rozoy · Parallel Processing Letters · 1996
Abstract: Traces and partial orders have been used as an approach to reduce time and memory in model-checking for concurrent programs. We show here that we can also make use of event structures and generalized traces: we extend algorithms for partial orders and traces by using event structure to generate reachability graphs; we gain for two reasons: first resulting algorithms are optimal and second a careful implementation spares memory.