Searching for authors named Eran Yahav – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
Property-Guided Verification of Concurrent Heap-Manipulating Programs
- … Science PROPERTY-GUIDED VERIFICATION OF CONCURRENT HEAP-MANIPULATING PROGRAMS by Eran Yahav under…
- Cited by 2 (0 self) – Add To MetaCart
-
Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic
- …Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic Eran Yahav Abstract…
- Cited by 61 (7 self) – Add To MetaCart
-
Automatically verifying concurrent queue algorithms
- …://www.elsevier.nl/locate/entcs/volume89.html 14 pages Automatically Verifying Concurrent Queue Algorithms Abstract Eran Yahav Mooly Sagiv…
- Cited by 13 (3 self) – Add To MetaCart
-
Deriving linearizable fine-grained concurrent objects
- …Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev IBM Research Eran Yahav IBM…
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying Safety Properties using Separation and
- …Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav # School…
- Add To MetaCart
-
Abstract CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors
- … Martin T. Vechev Cambridge University Eran Yahav IBM Research Concurrent garbage collectors…
- Add To MetaCart
-
Shallow Finite State Verification
- …@(email omitted); Deepak Goyal IBM T.J. Watson Research Center dgoyal@(email omitted); Eran Yahav TeI-Aviv University…
- Cited by 1 (1 self) – Add To MetaCart
-
LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects
- … Eran Yahav 1 , Thomas Reps 2 , and Mooly Sagiv 1 1 School of Comp. Sci., Tel-Aviv Univ., Tel…
- Cited by 5 (3 self) – Add To MetaCart
-
Automatic verification of temporal properties of concurrent heap-manipulating programs using evolution logic
- … Evolution Logic Tel Aviv University, School of Computer Science, TR 338/02 Eran Yahav 1 , Thomas Reps 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Verifying Temporal Heap Properties Specified via Evolution Logic
- …Verifying Temporal Heap Properties Specified via Evolution Logic # Eran Yahav 1 , Thomas Reps 2…
- Cited by 26 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
