Eden Frenkel

According to our database, Eden Frenkel authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy.

Eden Frenkel, Kenneth L. McMillan, Oded Padon, Sharon Shoham

CoRR, April, 2026

2024

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas.

Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Proving Cutoff Bounds for Safety Properties in First-Order Logic.

Raz Lotan, Eden Frenkel, Sharon Shoham

Proceedings of the Automated Technology for Verification and Analysis, 2024