Abstract | ||
---|---|---|
In this paper, we propose a bottom-up approach for the verification of systems with modular structure: we prove that when the modules are composed in specific ways, the complete software system verifies a composition of the properties each component does. We focus on the process of upgrading systems with new functionalities, where the validity of old requirements needs to be ensured, but also an understanding of the new properties the upgraded system would enjoy is useful. In this work, we assume each component to be specified by a CCS process, and the properties to be expressed by selective mu-calculus formulae. Copyright © 2007 John Wiley & Sons, Ltd. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1002/stvr.v18:1 | Softw. Test., Verif. Reliab. |
Keywords | Field | DocType |
formal verification,logic,model checking,ccs | Functional verification,Model checking,Computer science,Runtime verification,Software system,Verification,Modular design,Reliability engineering,Modular structure,Formal verification | Journal |
Volume | Issue | ISSN |
18 | 1 | 0960-0833 |
Citations | PageRank | References |
0 | 0.34 | 17 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sara Gradara | 1 | 100 | 6.61 |
Antonella Santone | 2 | 400 | 52.45 |
Gigliola Vaglini | 3 | 336 | 66.43 |
Maria Luisa Villani | 4 | 1079 | 50.41 |