3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 3 cited
Some approximations in Model Checking and Testing
M. C. Gaudel, R. Lassaigne, F. Magniez +1
Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many tec…
cs.LO2006
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…