20 citations · 43 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 1 cited
Colored E-Graph: Equality Reasoning with Conditions
Eytan Singher, Shachar Itzhaky
E-graphs are a prominent data structure that has been increasing in popularity in recent years due to their expanding range of applications in various formal reasoning tasks. Often…
cs.LO2023★ 3 cited
Hyperproperty Verification as CHC Satisfiability
Shachar Itzhaky, Sharon Shoham, Yakir Vizel
Hyperproperties govern the behavior of a system or systems across multiple executions, and are being recognized as an important extension of regular temporal properties. So far, su…