Quantitative static analysis of communication protocols using abstract Markov chains

DOI10.1007/978-3-319-66706-5_14MaRDI QIDQ5233247zbMATH OpenOpenAlexFDO

Authors Abdelraouf Ouadjaout, Antoine Miné

Publication date 16 September 2019

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://hal.sorbonne-universite.fr/hal-01575855/file/sas17-ouadjaout.pdf

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Network protocols (68M12) Formal languages and automata (68Q45)

Recommendations

• Quantitative static analysis of communication protocols using abstract Markov chains
• Stochastic modelling of communication protocols from source code
• Static analysis of communicating processes using symbolic transducers
• Abstract interpretation of programs as Markov decision processes
• scientific article; zbMATH DE number 2090849

Cited in

(5)

• Analysis of mobile networks' protocols based on abstract state machine
• Quantitative static analysis of communication protocols using abstract Markov chains
• Stochastic modelling of communication protocols from source code
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Quantified abstract configurations of distributed systems

This page was built for publication: Quantitative static analysis of communication protocols using abstract Markov chains

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