Publications
Export 31 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is A [Clear All Filters]
Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted Functions,
, 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) , TU Wien, Vienna, Austria,, (2017)
Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted Functions,
, 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) , TU Wien, Vienna, Austria,, (2017)
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)
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)