Witnessing Secure Compilation

von Namjoshi, Kedar S.
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Linear Temporal Logic From Infinite to Finite Horizon

von Tabajara, Lucas M.
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

ZDD Boolean Synthesis

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