Abstracting and Enriching Trace Models Extending Trace Models Tony Hoare Ian Wehrman Traces Trace: set of events + dependency relation an execution of a program tr Trace…