Exchange Format for Violation Witnesses and Correctness Witnesses Contents: GraphML-Based Exchange Format for Violation Witnesses and Correctness Witnesses YAML-Based Exchange Format for Correctness Witnesses Literature