Variance analyses from invariance analyses

DOI10.1145/1190216.1190249MaRDI QIDQ3189800zbMATH OpenOpenAlexFDO

Authors Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn

Publication date 12 September 2014

Published in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1190216.1190249

zbMATH Keywords

formal verificationlivenessprogram analysissoftware model checkingtermination

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Invariances in variance estimates
• scientific article; zbMATH DE number 4102324
• Variance Estimation Based on Invariance Principles
• Variance, invariance and statistical explanation
• Estimability analysis of variance and covariance components
• On generalization of the analysis of variance
• An inequality for the analysis of variance
• Multivariate Varianzanalyse
• An alternative analysis of variance

Cited in

(15)

• Loop summarization using state and transition invariants
• Automatically proving termination and memory safety for programs with pointer arithmetic
• Temporal property verification as a program analysis task
• Local reasoning about data update
• Loop Summarization and Termination Analysis
• Being and change: reasoning about invariance
• Automata-Based Termination Proofs
• Proving termination of nonlinear command sequences
• Is Mean-Variance Analysis Vacuous: Or was Beta Still Born?
• An inequality for the analysis of variance
• Programs with lists are counter automata
• A Hybrid Denotational Semantics for Hybrid Systems
• Multivariant assertion-based guidance in abstract interpretation
• Inference of ranking functions for proving temporal properties by abstract interpretation
• Algebraic program analysis

This page was built for publication: Variance analyses from invariance analyses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3189800)