Pages that link to "Item:Q1664851"
From MaRDI portal
The following pages link to Quantitative analysis of software approximate correctness (Q1664851):
Displaying 6 items.
- The infinite evolution mechanism of \(\epsilon\)-bisimilarity (Q458130) (← links)
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation (Q459934) (← links)
- The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
- Probabilistic model of software approximate correctness (Q2825263) (← links)
- (Q4022184) (← links)
- Information Exchange Between Over- and Underapproximating Software Analyses (Q6111606) (← links)