Searching for authors named "Greta Yorsh" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Testing, abstraction, theorem proving: better together
- …Testing, Abstraction, Theorem Proving: Better Together! ABSTRACT Greta Yorsh ∗ Tel Aviv University…
- Cited by 6 (0 self) – Add To MetaCart
-
Automatic assume/guarantee reasoning for heapmanupilating programs
- …Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs (Ongoing Work) Greta Yorsh a…
- Cited by 5 (0 self) – Add To MetaCart
-
Abstraction for falsification
- …Abstraction for Falsification Thomas Ball 1 , Orna Kupferman 2 , and Greta Yorsh 3 1 Microsoft…
- Cited by 9 (1 self) – Add To MetaCart
-
Symbolic Implementation of the Best Transformer
- …Symbolic Implementation of the Best Transformer Thomas Reps 1 , Mooly Sagiv 2 , and Greta…
- Cited by 13 (8 self) – Add To MetaCart
-
Inferring Synchronization under Limited Observability
- …Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh…
- Add To MetaCart
-
Experience with Model Checking Linearizability
- …Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T…
- Add To MetaCart
-
A logic of reachable patterns in linked data-structures
- …A Logic of Reachable Patterns in Linked Data-Structures Greta Yorsh 1,⋆ , Alexander Rabinovich 1…
- Cited by 11 (1 self) – Add To MetaCart
-
Entry *pred,*curr,*r;
- … Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard…
- Add To MetaCart
-
Verifying Optimistic Algorithms Should be Easy (Position Paper)
- … Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Abstract…
- Add To MetaCart
-
Automatic Assume/Guarantee Reasoning for
- …Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs (Ongoing Work) Greta Yorsh a…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
