Pages that link to "Item:Q3189800"
From MaRDI portal
The following pages link to Variance analyses from invariance analyses (Q3189800):
Displaying 13 items.
- Proving termination of nonlinear command sequences (Q470005) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Algebraic program analysis (Q832153) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Local reasoning about data update (Q2864149) (← links)
- Loop Summarization and Termination Analysis (Q3000639) (← links)
- Automata-Based Termination Proofs (Q3637353) (← links)
- Is Mean-Variance Analysis Vacuous: Or was Beta Still Born? (Q4798664) (← links)
- An inequality for the analysis of variance (Q5139883) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)