Pages that link to "Item:Q2931788"
From MaRDI portal
The following pages link to Quantitative abstraction refinement (Q2931788):
Displayed 4 items.
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution (Q507359) (← links)
- Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- (Q5875378) (← links)