Efficient Modular SMT-Based Model Checking of Pointer Programs

von Garcia-Contreras, Isabel
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

Incremental Analysis of Logic Programs with Assertions and Open Predicates

von Garcia-Contreras, Isabel
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

Speculative SAT Modulo SAT

von Govind, V. K. Hari
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 1 (2024)