Publications
Export 33 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is B [Clear All Filters]
An Efficient and Flexible Approach to Resolution Proof Reduction,
, Haifa Verification Conference (HVC), Haifa, Israel, (2010)
Decomposing Farkas Interpolants,
, TACAS, (2019)
A Cooperative Parallelization Approach for Property-Directed k-Induction,
, VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, USA, 19-25 January 2020, (2020)
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)
CHC Model Validation with Proof Guarantees,
, 18th International Conference on integrated Formal Methods (iFM23), (2023)
Automated Verification of Security Policies in Mobile Code.,
, Integrated Formal Methods (IFM), (2007)
Automated Verification of Security Policies in Mobile Code.,
, Integrated Formal Methods (IFM), (2007)