Neta Elad

According to our database, Neta Elad authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

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

Axe 'Em: Eliminating Spurious States with Induction Axioms.

Neta Elad, Sharon Shoham

CoRR, 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