Before revision:  The goal there is to automatically infer properties of the embedded system from the analysis of its simulation traces.
After revision:  The goal there is to automatically find properties of the embedded system from the analysis of its simulation traces.