Leonardo Alt

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 12

Top Topics

Quantifier Free

Polynomial Equations

Top Venues

Publications

Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) (2024)
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26 (2) (2023)
Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina
SolCMC: Solidity Compiler's Model Checker. CAV (1) (2022)
Lucas Clemente Vella, Leonardo Alt
On Satisfiability of Polynomial Equations over Large Prime Fields. SMT (2022)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) (2020)
Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55 (1) (2019)
Leonardo Alt, Christian Reitwießner
SMT-Based Verification of Solidity Smart Contracts. ISoLA (4) (2018)
Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD (2017)
Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
LRA Interpolants from No Man's Land. Haifa Verification Conference (2017)
Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) (2017)
Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT (2016)
Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
PVAIR: Partial Variable Assignment InterpolatoR. FASE (2016)
Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
Flexible Interpolation for Efficient Model Checking. MEMICS (2015)
Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE (2015)
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR (2013)