witness-validation

There are 2 repositories under witness-validation topic.

sosy-lab/sv-witnesses
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
Language:Python18 15 339
polywit/polywit
🌍 A poly-language execution-based violation-witness validator
Language:Python4 1 220