Efficient Strategies for CEGAR-Based Model Checking von Hajdu, Ákos, Micskei, Zoltán

Volltext

solc-verify: A Modular Verifier for Solidity Smart Contracts von Hajdu, Ákos, Jovanović, Dejan

Volltext

Pragmatic verification and validation of industrial executable SysML models von Horváth, Benedek, Molnár, Vince, Graics, Bence, Hajdu, Ákos, Ráth, István, Horváth, Ákos, Karban, Robert, Trancho, Gelys, Micskei, Zoltán

Volltext

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts von Hajdu, Akos, Ivaki, Naghmeh, Kocsis, Imre, Klenik, Attila, Gonczy, Laszlo, Laranjeiro, Nuno, Madeira, Henrique, Pataricza, Andras

Volltext

Industrial applications of the PetriDotNet modelling and analysis tool von Vörös, András, Darvas, Dániel, Hajdu, Ákos, Klenik, Attila, Marussy, Kristóf, Molnár, Vince, Bartha, Tamás, Majzik, István

Volltext

Towards Evaluating Size Reduction Techniques for Software Model Checking von Sallai, Gyula, Hajdu, Ákos, Tóth, Tamás, Micskei, Zoltán

Volltext

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers von Czipó, Bence, Hajdu, Ákos, Tóth, Tamás, Majzik, István

Volltext

Extensions to the CEGAR Approach on Petri Nets von Hajdu, Ákos, Vörös, András, Bartha, Tamás, Mártonka, Zoltán

Volltext

New Search Strategies for the Petri Net CEGAR Approach von Hajdu, Ákos, Vörös, András, Bartha, Tamás

Volltext

A Configurable CEGAR Framework with Interpolation-Based Refinements von Albert, Elvira, Lanese, Ivan

Volltext

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research von Vörös, András, Darvas, Dániel, Molnár, Vince, Klenik, Attila, Hajdu, Ákos, Jámbor, Attila, Bartha, Tamás, Majzik, István

Volltext

SMT-Friendly Formalization of the Solidity Memory Model von Hajdu, Ákos, Jovanović, Dejan

Volltext

solc-verify: A Modular Verifier for Solidity Smart Contracts von Hajdu, Ákos, Jovanović, Dejan

Volltext

MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS von Eldefrawy, Karim, Hajdu, Akos, Lepoint, Tancrede, Ciocarlie, Gabriela, Laserna, Jorge Navas, Jovanovic, Dejan

Volltext bestellen

Formal Specification and Verification of Solidity Contracts with Events von Hajdu, Ákos, Jovanović, Dejan, Ciocarlie, Gabriela

Volltext bestellen

Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking" von Hajdu, Ákos, Micskei, Zoltán

Volltext bestellen

Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset von Ádám, Zsófia, Ákos, Hajdu, Zoltán, Micskei

Volltext bestellen

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts von Hajdu, Ákos, Ivaki, Naghmeh, Kocsis, Imre, Klenik, Attila, Gönczy, László, Laranjeiro, Nuno, Madeira, Henrique, Pataricza, András

Volltext

Supplementary Report For The Paper "A Preliminary Analysis On The Effect Of Randomness In A Cegar Framework" von Hajdu, Ákos, Micskei, Zoltán

Volltext bestellen

Formal Specification and Verification of Solidity Contracts with Events von Hajdu, Ákos, Jovanović, Dejan, Ciocarlie, Gabriela

Volltext