Abstract | ||
---|---|---|
. The intrinsic complexity of most protocol specifications inparticular, and of asynchronous systems in general, lead us to studycombinations of static analysis with classical model-checking techniquesas a way to enhance the performances of automated validation tools.The goal of this paper is to point out that an equivalence on our modelderived from the information on live variables is stronger than the strongbisimulation. This equivalence, further called live bisimulation, exploitsthe... |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-48294-6_11 | Static Analysis Symposium/Workshop on Static Analysis |
Keywords | Field | DocType |
state space reduction,classical model-checking technique,protocol specification,live variable,live variables analysis,asynchronous system,intrinsic complexity,important factor,automated validation tool,model checking,live bisimulation,asyn- chronous communication,strong bisimulation,bisimulation,quotient model,static analysis,asynchronous communication | Asynchronous communication,Model checking,Computer science,Queue,Static analysis,Algorithm,Theoretical computer science,Real-time computing,Equivalence (measure theory),Bisimulation,Program analysis,State space | Conference |
Volume | ISSN | ISBN |
1694 | 0302-9743 | 3-540-66459-9 |
Citations | PageRank | References |
25 | 1.34 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Bozga | 1 | 2100 | 127.83 |
Jean-claude Fernandez | 2 | 25 | 1.34 |
Lucian Ghirvu | 3 | 202 | 12.69 |