1. Proof Complexity of Modal Resolution

   • Sarah Sigley
   • Olaf Beyersdorff

   OriginalPaper Open access 13 October 2021 Pages: 1 - 41

   

2. Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs

   • Maria Paola Bonacina
   • Stéphane Graham-Lengrand
   • Natarajan Shankar

   OriginalPaper Open access 12 September 2021 Pages: 43 - 91

   

3. Predicate Transformer Semantics for Hybrid Systems

   • Jonathan Julián Huerta y Munive
   • Georg Struth

   OriginalPaper Open access 31 October 2021 Pages: 93 - 139

   

4. Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL

   • Sadegh Dalvandi
   • Brijesh Dongol
   • Heike Wehrheim

   OriginalPaper Open access 16 November 2021 Pages: 141 - 171

   

5. Correction to: Differential Dynamic Logic for Hybrid Systems

   • André Platzer

   Correction Open access 15 November 2021 Pages: 173 - 173