Orna Grumberg

Identifiers

No identifiers captured yet.

Papers (2)

1. CTL* Verification and Synthesis using Existential Horn Clauses cs.LO · 2024 · author #2
2. Formal Black-Box Analysis of Routing Protocol Implementations cs.CR · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Adi Sosnovich 1 shared papers
• Gabi Nakibly 1 shared papers
• Mishel Carelli 1 shared papers