The following pages link to Ákos Hajdu (Q2209547):
Displaying 8 items.
- Efficient strategies for CEGAR-based model checking (Q2209549) (← links)
- A Configurable CEGAR Framework with Interpolation-Based Refinements (Q2827465) (← links)
- Extensions to the CEGAR Approach on Petri Nets (Q2937547) (← links)
- New Search Strategies for the Petri Net CEGAR Approach (Q2941159) (← links)
- Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework" (Q6695681) (← links)
- Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking" (Q6695686) (← links)
- Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset (Q6695690) (← links)
- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution): Tool Archive (Q6695694) (← links)