Ákos Hajdu

Ákos Hajdu

Facebook Inc - Camridge / United States
Others
AD Scientific Index ID: 4695626
person_outline Ákos Hajdu's MOST POPULAR ARTICLES
1-) solc-verify: A modular verifier for Solidity smart contractsÁ Hajdu, D JovanovićVerified Software: Theories, Tools, and Experiments (VSTTE 2019), 2019822019
2-) Theta: a framework for abstraction refinement-based model checkingT Tóth, Á Hajdu, A Vörös, Z Micskei, I Majzik2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017472017
3-) Efficient strategies for CEGAR-based model checkingÁ Hajdu, Z MicskeiJournal of Automated Reasoning 64 (6), 1051-1091, 2020322020
4-) SMT-Friendly Formalization of the Solidity Memory ModelÁ Hajdu, D JovanovićProgramming Languages and Systems (ESOP 2020), 2020342020
5-) A configurable CEGAR framework with interpolation-based refinementsÁ Hajdu, T Tóth, A Vörös, I MajzikFormal Techniques for Distributed Objects, Components, and Systems, 158-174, 2016262016