Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification

von Meseguer, Jose
Veröffentlicht in WRLA (13. : 2020 : Online) Rewriting logic and its applications (2020)

On Ground Convergence and Completeness of Conditional Equational Program Hierarchies

von Meseguer, José
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)

Verification of the IBOS Browser Security Properties in Reachability Logic

von Skeirik, Stephen
Veröffentlicht in WRLA (13. : 2020 : Online) Rewriting logic and its applications (2020)