Trace Spaces: an Efficient New Technique for State-Space Reduction

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt +2

State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put…