Author-Sepidehasadi on D3S https://d3s.mff.cuni.cz/tags/author-sepidehasadi/ Recent content in Author-Sepidehasadi on D3S Hugo en Computing Exact Worst-Case Gas Consumption for Smart Contracts https://d3s.mff.cuni.cz/publications/marescotti_computing_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/marescotti_computing_2018/ Farkas-Based Tree Interpolation https://d3s.mff.cuni.cz/publications/asadi_farkasbased_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_farkasbased_2020/ Function Summarization Modulo Theories https://d3s.mff.cuni.cz/publications/asadi_function_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_function_2018/ Incremental Verification by SMT-based Summary Repair https://d3s.mff.cuni.cz/publications/asadi_incremental_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_incremental_2020/ SMT-based verification of program changes through summary repair https://d3s.mff.cuni.cz/publications/asadi_smtbased_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_smtbased_2023/