Practical “Paritizing” of Emerson-Lei Automata

von Renkin, Florian
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization

von Blahoudek, Frantisek
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Effective Reductions of Mealy Machines

von Renkin, Florian
Veröffentlicht in IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems (2022)

Practical Applications of the Alternating Cycle Decomposition

von Casares, Antonio
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)