research
∙
08/03/2021
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)
Deductive verification techniques for C11 programs have advanced signifi...
share
research
∙
12/08/2018
PrideMM: A Solver for Relaxed Memory Models
Relaxed memory models are notoriously delicate. To ease their study, sev...
research
∙
02/16/2018
