The following pages link to Yaniv Sa'ar (Q439946):
Displaying 5 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Parallelizing a Symbolic Compositional Model-Checking Algorithm (Q5391523) (← links)
- All You Need Is Compassion (Q5452720) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898629) (← links)
