Reasoning in the Theory of Heap: Satisfiability and Interpolation

von Esen, Zafer
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

Towards String Support in JayHorn (Competition Contribution)

von Shamakhi, Ali
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Verified software : theories, tools, and experiments : 10th international conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers

Veröffentlicht 2018

Boosting Constrained Horn Solving by Unsat Core Learning

von Abdulla, Parosh Aziz
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)

TriCo—Triple Co-piloting of Implementation, Specification and Tests

von Ahrendt, Wolfgang
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

A Theory of Cartesian Arrays (with Applications in Quantum Circuit Vertfication)

von Chen, Yu-Fang
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Monadic Decomposition in Integer Linear Arithmetic

von Hague, Matthew
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)