Abstract | ||
---|---|---|
We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad-hoc network protocols, probabilistic security protocols and biological pathways. Despite this, no impl... |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/TSE.2008.77 | IEEE Transactions on Software Engineering |
Keywords | DocType | Volume |
Stochastic processes,Biological system modeling,Protocols,Stochastic systems,Calculus,Algebra,Formal verification,Mobile ad hoc networks,Mobile communication,Communication system security | Journal | 35 |
Issue | ISSN | Citations |
2 | 0098-5589 | 1 |
PageRank | References | Authors |
0.36 | 27 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gethin Norman | 1 | 4163 | 193.68 |
Catuscia Palamidessi | 2 | 2876 | 184.08 |
David Parker | 3 | 4018 | 184.00 |
Peng Wu | 4 | 4 | 0.78 |