c11-model-checker. Model using CDSChecker (https://plrg.ics.uci.edu/software_page/42-2/)

github.com/colesbury/c11-model-checker
by @colesbury

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.