Publications
Export 31 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is A [Clear All Filters]
Definability of Accelerated Relations in a Theory of Arrays and Its Applications,
, Frontiers of Combining Systems, (2013)
Decision Procedures for Flat Array Properties,
, TACAS, Grenoble, France, (2014)
Decision Procedures for Flat Array Properties,
, J. Autom. Reasoning, 04/2015, Volume 54, Issue 4, p.352, (2015)
Computing Exact Worst-Case Gas Consumption for Smart Contracts,
, International Symposium on Leveraging Applications of Formal Methods ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice , Cyprus, (2018)
Accurate Smart Contract Verification through Direct Modelling,
, ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs,
, CoRR, Volume April 2013, (2013)