On Combining Functional Verification and Performance Evaluation Using CADP

Hubert Garavel, Holger Hermanns

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    43 Citations (Scopus)
    12 Downloads (Pure)

    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 languageEnglish
    Title of host publicationFME 2002: Formal Methods - Getting IT Right
    Subtitle of host publicationInternational Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002: Proceedings
    EditorsLars-Henrik Eriksson, Peter Alexander Lindsay
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages410-429
    Number of pages20
    ISBN (Electronic)978-3-540-45614-8
    ISBN (Print)978-3-540-43928-8
    DOIs
    Publication statusPublished - 2002
    EventFormal Methods - Getting IT Right, FME 2002: 11th International Symposium of Formal Methods Europe - Copenhagen, Denmark
    Duration: 22 Jul 200224 Jul 2002
    Conference number: 11

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2391
    ISSN (Print)0302-9743

    Conference

    ConferenceFormal Methods - Getting IT Right, FME 2002
    Abbreviated titleFME
    CountryDenmark
    CityCopenhagen
    Period22/07/0224/07/02

    Keywords

    • Label transition system
    • Process algebra
    • Functional correctness
    • Delay transition
    • Strong bisimulation

    Fingerprint

    Dive into the research topics of 'On Combining Functional Verification and Performance Evaluation Using CADP'. Together they form a unique fingerprint.

    Cite this