Searching for authors named "Greta Yorsh" – sorted by Relevance.
-
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

