Yakir Vizel
Yakir Vizel
Affiliation: The Technion
Affiliation: Israel Institute of Technology
Affiliation: Technion - Israel Institute of Technology
Pages in this Program
Automatic Abstraction Refinement for Hyperproperties Verification
Factoring Learned Clauses
Extended Abstract: Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑