Quantitative Verification in Practice

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    3 Downloads (Pure)

    Abstract

    Soon after the birth of model checking, the first theoretical achievements have been reported on the automated verification of quanti- tative system aspects such as discrete probabilities and continuous time. These theories have been extended in various dimensions, such as con- tinuous probabilities, cost constraints, discounting, hybrid phenomena, and combinations thereof. Due to unremitting improvements of under- lying algorithms and data structures, together with the availability of more advanced computing engines, these techniques are nowadays appli- cable to realistic designs. Powerful software tools allow these techniques to be applied by non-specialists, and efforts have been made to embed these techniques into industrial system design processes. Quantitative verification has a broad application potential — successful applications in embedded system design, hardware, security, safety-critical software, schedulability analysis, and systems biology exemplify this. It is fair to say, that over the years this application area grows rapidly and there is no sign that this will not continue. This session reports on applying state-of-the-art quantitative verification techniques and tools to a variety of industrial case studies.
    Original languageEnglish
    Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation
    Subtitle of host publication4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
    Place of PublicationBerlin
    PublisherSpringer
    Pages127-127
    Number of pages1
    ISBN (Electronic)978-3-642-16561-0
    ISBN (Print)978-3-642-16560-3
    DOIs
    Publication statusPublished - 2010
    Event4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010 - Heraklion, Greece
    Duration: 18 Oct 201021 Oct 2010
    Conference number: 4
    http://isola-conference.org/isola2010/

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume6416
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010
    Abbreviated titleISoLA 2010
    CountryGreece
    CityHeraklion
    Period18/10/1021/10/10
    Internet address

    Keywords

    • IR-75340
    • EWI-19155
    • METIS-275802

    Fingerprint Dive into the research topics of 'Quantitative Verification in Practice'. Together they form a unique fingerprint.

    Cite this