Temporal Causality in Reactive Systems

von Coenen, Norine
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Causality-Based Game Solving

von Baier, Christel
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Explaining Hyperproperty Violations

von Coenen, Norine
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)