The following pages link to (Q3601408):
Displaying 6 items.
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- Lazy slicing for state-space exploration (Q2637297) (← links)
- Efficient model checking of hardware using conditioned slicing (Q2848428) (← links)
- Incremental Computation of Succinct Abstractions for Hybrid Systems (Q3172856) (← links)