Quantitative static analysis of communication protocols using abstract Markov chains.
Abdelraouf OuadjaoutAntoine MinéPublished in: Formal Methods Syst. Des. (2019)
Keyphrases
- markov chain
- static analysis
- communication protocols
- abstract interpretation
- dynamic analysis
- steady state
- source code
- finite state
- random walk
- probabilistic automata
- stationary distribution
- transition probabilities
- markov model
- markov process
- communication protocol
- regular expressions
- transition matrix
- state space
- markov processes
- stochastic process
- finite automata
- communication networks
- high level
- test suite
- pattern matching
- open source
- metadata
- protocol specification