Neta Elad

According to our database, Neta Elad authored at least 6 papers between 2021 and 2026.

Collaborative distances:

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

2026

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property.

Neta Elad, Sharon Shoham

CoRR, May, 2026

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions.

Neta Elad, Adithya Murali, Sharon Shoham

Proc. ACM Program. Lang., 2026

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings.

Raz Lotan, Neta Elad, Oded Padon, Sharon Shoham

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Axe 'Em: Eliminating Spurious States with Induction Axioms.

Neta Elad, Sharon Shoham

Proc. ACM Program. Lang., 2025

2024

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.

Neta Elad, Oded Padon, Sharon Shoham

Proc. ACM Program. Lang., January, 2024

2021

Summing up Smart Transitions.

Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021