The following pages link to (Q4818742):
Displaying 6 items.
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- Slicing Behavior Tree Models for Verification (Q3163878) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- Computer Aided Verification (Q5312930) (← links)