1. A method for dynamically analyzing the correctness of software, comprising: providing, by a trace interface of a central processing unit of a target system, coded raw data relating to tracing of the processing unit, and processing the raw data, including: conditioning the raw data; and evaluating the conditioned raw data using a correctness analysis algorithm.