Static Analysis of Dynamic Communication Systems by Partner Abstraction

DOI10.1007/978-3-540-74061-2_16MaRDI QIDQ3612006zbMATH OpenOpenAlexFDO

Authors J. Bauer, Reinhard Wilhelm

Publication date 3 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74061-2_16

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Quantitative static analysis of communication protocols using abstract Markov chains
• Quantitative static analysis of communication protocols using abstract Markov chains
• scientific article; zbMATH DE number 58291
• scientific article; zbMATH DE number 4039302
• Communication-protocol-based analysis and synthesis of networked systems: progress, prospects and challenges
• Protocol analysis and synthesis by structured partitions
• Static analysis of communicating processes using symbolic transducers
• Modeling and analysis of communicating systems
• Quantitative static analysis of distributed systems

Cited in

(6)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Analysis of infinite-state graph transformation systems by cluster abstraction
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Sound and complete abstract graph transformation
• Mind the Shapes: Abstraction Refinement Via Topology Invariants
• Towards the Verification of Attributed Graph Transformation Systems

This page was built for publication: Static Analysis of Dynamic Communication Systems by Partner Abstraction

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