Raz Lotan

According to our database, Raz Lotan authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

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

Implicit Rankings for Verifying Liveness Properties in First-Order Logic.

Raz Lotan, Sharon Shoham

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

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