0 alternative definitions
A verification technique that determines whether a model satisfies a given specification.
فحص النموذج
