Akos Hajdu

0 Seguidores

Čegar model checking formal verification framework abstraction analysis smt formal verification methods reachability petri theta evaluation configurable optimization based the cegar net approach boogie ethereum solidity modular smart contract solc-verify software verification experiment randomization logic compiler software optimizations slicing size reduction statecharts abstractionc hierarchical solver data performance exploratory discotec 2016 a forte refinements market analysis interpolation with trajectory asconikk 2014 vocal extensions nets to on for new strategies conference search

Actividad
Acerca de

Akos Hajdu

Presentaciones

New Search Strategies for the Petri Net CEGAR Approach

Extensions to the CEGAR Approach on Petri Nets

Petri Net Based Trajectory Optimization

A Configurable CEGAR Framework with Interpolation-Based Refinements

Exploratory Analysis of the Performance of a Configurable CEGAR Framework

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers

Towards Evaluating Size Reduction Techniques for Software Model Checking

Theta: a Framework for Abstraction Refinement-Based Model Checking

A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework

Software Verification with Abstraction-Based Methods

solc-verify: A Modular Verifier for Solidity Smart Contracts