SOLC-VERIFY: A Modular Verifier for Solidity Smart Contracts

von Hajdu, Ákos
Veröffentlicht in VSTTE (11. : 2019 : New York, NY) Verified software (2020)

SMT-Friendly Formalization of the Solidity Memory Model

von Hajdu, Akos
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)

von Ádám, Zsófia
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

THETA: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)

von Ádám, Zsófia
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)