FORQ-Based Language Inclusion Formal Testing

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

Abstract Monitors for Quantitative Specifications

von Henzinger, Thomas A.
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Quantitative Safety and Liveness

von Henzinger, Thomas A.
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)