Abstract
Considering functional correctness and performance evaluation in a common framework is desirable, both for scientific and economic reasons. In this paper, we describe how the CADP toolbox, originally designed for verifying the functional correctness of LOTOS specifications, can also be used for performance evaluation. We illustrate the proposed approach by the performance study of the SCSI-2 bus arbitration protocol.
Original language | English |
---|---|
Title of host publication | FME 2002: Formal Methods - Getting IT Right |
Subtitle of host publication | International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002: Proceedings |
Editors | Lars-Henrik Eriksson, Peter Alexander Lindsay |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 410-429 |
Number of pages | 20 |
ISBN (Electronic) | 978-3-540-45614-8 |
ISBN (Print) | 978-3-540-43928-8 |
DOIs | |
Publication status | Published - 2002 |
Event | Formal Methods - Getting IT Right, FME 2002: 11th International Symposium of Formal Methods Europe - Copenhagen, Denmark Duration: 22 Jul 2002 → 24 Jul 2002 Conference number: 11 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 2391 |
ISSN (Print) | 0302-9743 |
Conference
Conference | Formal Methods - Getting IT Right, FME 2002 |
---|---|
Abbreviated title | FME |
Country | Denmark |
City | Copenhagen |
Period | 22/07/02 → 24/07/02 |
Keywords
- Label transition system
- Process algebra
- Functional correctness
- Delay transition
- Strong bisimulation