Neta Elad

Publications

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property 2026: Neta Elad, Sharon Shoham. [LICS 2026] [arXiv] [preprint]
Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings 2026: Raz Lotan, Neta Elad, Oded Padon, Sharon Shoham. [TACAS 2026] [arXiv] [artifact] [tool] [preprint]
Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions 2026: Neta Elad, Adithya Murali, Sharon Shoham. [POPL 2026] [arXiv] [artifact] [video] [preprint] [slides]
Axe 'Em: Eliminating Spurious States with Induction Axioms 2025: Neta Elad, Sharon Shoham. [POPL 2025] [arXiv] [artifact] [video] [preprint] [slides]
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification 2024 Distinguished Paper: Neta Elad, Oded Padon, Sharon Shoham. [POPL 2024] [arXiv] [artifact] [video] [preprint] [slides]
Summing Up Smart Transitions 2021: Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv. [CAV 2021] [arXiv] [preprint] [slides]

Logic for Computer Science Fall 2025: Tel Aviv University, course no. 0368-2170.
Logic for Computer Science Fall 2024: Tel Aviv University, course no. 0368-2170.
Logic for Computer Science Fall 2023: Tel Aviv University, course no. 0368-2170.
Logic for Computer Science Fall 2022: Tel Aviv University, course no. 0368-2170.
Logic for Computer Science Fall 2021: Tel Aviv University, course no. 0368-2170.
Logic and Set Theory for Computer Science Spring 2014: Technion (Israel Institute of Technology), course no. 234293.
Logic and Set Theory for Computer Science Fall 2013: Technion (Israel Institute of Technology), course no. 234293.
Introduction to Systems Programming Spring 2013: Technion (Israel Institute of Technology), course no. 234124.
Introduction to Systems Programming Fall 2012: Technion (Israel Institute of Technology), course no. 234124.

Tools for finding, evaluating and using infinite models in first-order logic, based on the POPL '25 and POPL '24 papers.

The tool can be installed in one of the following ways:

A Docker image is available on Docker Hub.
A Python package is hosted on a private package index, which can be installed by running:
```
pip install infinite-models --extra-index-url https://www.cs.tau.ac.il/~netaelad/pypi/simple
```
Alternatively, you can download a zip file containing the code and manually install it (instructions available in the README.md file inside).