Issue 1/2022
Content (5 Articles)
Open Access
Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
Open Access
Predicate Transformer Semantics for Hybrid Systems
Jonathan Julián Huerta y Munive, Georg Struth
Open Access
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim