Searching for authors named "Rachel Tzoref" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Automatic refinement and vacuity detection for symbolic trajectory evaluation
- …Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation Rachel Tzoref 1…
- Cited by 6 (0 self) – Add To MetaCart
-
An optimized symbolic bounded model checking engine
- …An Optimized Symbolic Bounded Model Checking Engine Rachel Tzoref, Mark Matusevich, Eli Berger…
- Cited by 2 (1 self) – Add To MetaCart
-
An Optimized Symbolic Bounded Model Checking Engine Rachel Tzoref, Mark Matusevich, Eli Berger and Ilan Beer
- …An Optimized Symbolic Bounded Model Checking Engine Rachel Tzoref, Mark Matusevich, Eli Berger…
- Add To MetaCart
Showing 1 through 3.
