HCVS — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
09:00-10:30
Session #1
HCVS
Session Chair:
Location:
C5.05
| 09:00-10:00 |
Invited Talk: Infinite State Model Checking without Interpolation (abstract) 60 min
1 RWTH Aachen University, Germany
|
| 10:00-10:30 |
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks (abstract) 30 min
1 LMU Munich
|
10:30-11:00
Coffee Break
HCVS
Location:
C5.05
11:00-12:00
Session #2
HCVS
Session Chair:
Location:
C5.05
| 11:00-11:30 |
Why3-Elpi: Logic Programming Transformations for Why3 (abstract) 30 min
1 IRIF, Université Paris Cité
|
| 11:30-12:00 |
CHC-based Automated Verification of WebAssembly Programs (abstract) 30 min
1 The University of Tokyo
|
12:00-14:00
Lunch
HCVS
Location:
C5.05
14:00-15:30
Session #3
HCVS
Session Chair:
Location:
C5.05
| 14:00-15:00 |
Invited Talk: CHC-Based Reachability Analysis via Cycle Summarization (abstract) 60 min
1 University of Lugano, Switzerland
|
| 15:00-15:30 |
Extended Abstract: Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning (abstract) 30 min
1 Technion - Israel Institute of Technology
|
15:30-16:00
Coffee Break
HCVS
Location:
C5.05
16:00-17:30
Session #4
HCVS
Session Chair:
Location:
C5.05
| 16:00-16:30 |
Presentation Only Paper: Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving (abstract) 30 min
1 University of Melbourne
|
| 16:30-17:30 |
Presentation of CHC-COMP Results and Discussion (abstract) 60 min
1 University of Lugano, Switzerland
2 BME-MIT, Hungary
|