Skip to content

VMCAI 2025 artifact
Compare
Choose a tag to compare
@sim642 sim642 released this 26 Nov 09:40
· 360 commits to master since this release
vmcai25
852297b

Goblint version in the artifact for the VMCAI 2025 paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts".

Assets 2
Loading