Pages that link to "Item:Q2414252"
From MaRDI portal
The following pages link to Finding suitable variability abstractions for lifted analysis (Q2414252):
Displaying 4 items.
- A decision tree lifted domain for analyzing program families with numerical features (Q2044175) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Quantitative program sketching using lifted static analysis (Q6535551) (← links)
