Skip to content

VMCAI 2024 artifact
Compare
Choose a tag to compare
@sim642 sim642 released this 26 Nov 09:38
· 3815 commits to master since this release
vmcai24
ddecc85

Goblint version in the artifact for the VMCAI 2024 paper "Correctness Witness Validation by Abstract Interpretation".

Assets 2
Loading