Comment by yencabulator
Comment by yencabulator 6 months ago
You can replace the read and store with atomic operations and n==2 is still possible. As far as I can tell, the model being verified already uses atomic operations.
Comment by yencabulator 6 months ago
You can replace the read and store with atomic operations and n==2 is still possible. As far as I can tell, the model being verified already uses atomic operations.