Uniform Random Sampling of Traces in Very Large Models

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud +3

This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here…