The following pages link to Greta Yorsh (Q2643336):
Displaying 14 items.
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Generating precise and concise procedure summaries (Q3189841) (← links)
- Inferring Synchronization under Limited Observability (Q3617756) (← links)
- Simulating reachability using first-order logic with applications to verification of linked data structures (Q3636811) (← links)
- Verifying linearizability with hindsight (Q5176190) (← links)
- Abstraction-guided synthesis of synchronization (Q5255086) (← links)
- Logical characterizations of heap abstractions (Q5277770) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308432) (← links)
- Computer Science Logic (Q5311254) (← links)
- Computer Aided Verification (Q5312907) (← links)
- Automated Deduction – CADE-20 (Q5394624) (← links)
- Computer Aided Verification (Q5716599) (← links)
- Foundations of Software Science and Computation Structures (Q5899082) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901913) (← links)