Owicki-Gries reasoning for weak memory models

Keyphrases

• Weak Memory Models 100%
• Owicki-Gries 100%
• Concurrent Programs 50%
• Interference Test 50%
• Reasoning about Programs 50%
• Synchronization Primitives 50%
• Release-Acquire 50%
• Program Logic 50%
• Auxiliary Variable 50%
• Litmus Test 50%
• Non-interference 50%
• C11 Memory Model 50%

Computer Science

• Memory Model 100%
• Logic Programming 33%
• Concurrent Program 33%
• Reasoning about Programs 33%
• Auxiliary Variable 33%