sv-witnesses icon indicating copy to clipboard operation
sv-witnesses copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab
→

Metadata

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

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

← Metadata

18
Stars
9
Forks
Watchers

Owner

verified publisher icon sosy-lab

Metadata

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

Back