LART: Compiled Abstract Execution: (Competition Contribution)

von Lauko, Henrich
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

From Spot 2.0 to Spot 2.10: What’s New?

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