FM'21 | Session 6 : Rely/guarantee reasoning for multicopy atomic weak memory models

FM'21 | Session 6 : Rely/guarantee reasoning for multicopy atomic weak memory modelsПодробнее

FM'21 | Session 6 : Rely/guarantee reasoning for multicopy atomic weak memory models

FM'21 | Session 6 : Owicki-Gries Reasoning for C11 Programs with Relaxed DependenciesПодробнее

FM'21 | Session 6 : Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies

Marrying rely/guarantee and separation logicПодробнее

Marrying rely/guarantee and separation logic