Pages that link to "Item:Q2828290"
From MaRDI portal
The following pages link to Abstraction refinement guided by a learnt probabilistic model (Q2828290):
Displaying 6 items.
- Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis (Q1664389) (← links)
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses (Q1791273) (← links)
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase (Q3179275) (← links)
- Computer Aided Verification (Q5716594) (← links)
- Abstraction-Refinement for Hierarchical Probabilistic Models (Q6487314) (← links)
- Rethinking static analysis by combining discrete and continuous reasoning (Q6536275) (← links)