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…