Quantitative static analysis of distributed systems

DOI10.1017/S0956796805005599MaRDI QIDQ5695117zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 11 October 2005

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796805005599

zbMATH Keywords

network semanticsprobabilistic abstract interpretation

Mathematics Subject Classification ID

Distributed systems (68M14) Functional programming and lambda calculus (68N18)

Recommendations

• Quantified abstract configurations of distributed systems
• Dependability modeling and analysis of distributed programs
• Reachability analysis on distributed executions
• Analytic performance evaluation of distributed systems
• scientific article; zbMATH DE number 3978365
• Stability analysis for distributed systems

Cited in

(6)

• Fluid approximation of broadcasting systems
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Quantified abstract configurations of distributed systems
• Probabilistic abstract interpretation of imperative programs using truncated normal distributions
• Revealing the trajectories of KLAIM tuples, statically
• An interval-based abstraction for quantifying information flow

Describes a project that uses

Uses Software

• KLAIM

This page was built for publication: Quantitative static analysis of distributed systems

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