Publications
Export 10 results:
Author Title [ Type![(Desc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: First Letter Of Last Name is E [Clear All Filters]
Accurate Smart Contract Verification through Direct Modelling,
, ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)
CHC Model Validation with Proof Guarantees,
, 18th International Conference on integrated Formal Methods (iFM23), (2023)
Function Summarization Modulo Theories,
, 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)
HiFrog: SMT-based Function Summarization for Software Verification,
, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, (2017)
Lattice-Based Refinement in Bounded Model Checking,
, VSTTE, 07/2018, (2018)
Lattice-based SMT for program verification,
, International Conference on Formal Methods and Models for System Design, (MEMOCODE), (2019)
Symbolic Model Checking for TLA+ Made Faster,
, TACAS - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, (2023)
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions,
, DAC 2021 - 58th Design Automation Conference, 11/2021, San Francisco, CA, USA, (2021)
Theory Refinement for Program Verification,
, SAT 2017, Melbourne, Australia, (2017)
A Solicitous Approach to Smart Contract Verification,
, ACM Transactions on Privacy and Security, (2022)