Quantitative static analysis of communication protocols using abstract Markov chains

DOI10.1007/978-3-319-66706-5_14zbMATH Open1420.68020OpenAlexW2747853891MaRDI QIDQ5233247FDOQ5233247

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

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

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) Formal languages and automata (68Q45) Network protocols (68M12)

Cited In (4)

• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• 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

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)