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)

Antichains Algorithms for the Inclusion Problem Between ω-VPL

von Doveri, Kyveli
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)