Proof Complexity of Modal Resolution Sarah SigleyOlaf Beyersdorff OriginalPaper Open access 13 October 2021 Pages: 1 - 41
Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs Maria Paola BonacinaStéphane Graham-LengrandNatarajan Shankar OriginalPaper Open access 12 September 2021 Pages: 43 - 91
Predicate Transformer Semantics for Hybrid Systems Jonathan Julián Huerta y MuniveGeorg Struth OriginalPaper Open access 31 October 2021 Pages: 93 - 139
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL Sadegh DalvandiBrijesh DongolHeike Wehrheim OriginalPaper Open access 16 November 2021 Pages: 141 - 171
Correction to: Differential Dynamic Logic for Hybrid Systems André Platzer Correction Open access 15 November 2021 Pages: 173 - 173