Quantitative Verification in Practice

Boudewijn R.H.M. Haverkort, Joost-Pieter Katoen, Kim G. Larsen

Research output: Other contributionOther research output

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
PublisherSpringer Verlag
Number of pages1
Place of PublicationBerlin
ISBN (Print)978-3-642-16560-3
DOIs
Publication statusPublished - 2010
Externally publishedYes

Fingerprint

Systems analysis
Model checking
Embedded systems
Data structures
Cables
Availability
Engines
Costs
Hardware security
Systems Biology

Keywords

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

Cite this

Haverkort, B. R. H. M., Katoen, J-P., & Larsen, K. G. (2010). Quantitative Verification in Practice. Berlin: Springer Verlag. https://doi.org/10.1007/978-3-642-16561-0
Haverkort, Boudewijn R.H.M. ; Katoen, Joost-Pieter ; Larsen, Kim G. / Quantitative Verification in Practice. 2010. Berlin : Springer Verlag. 1 p.
@misc{7e2daa30160e42aea6a42283e8b2cd6a,
title = "Quantitative Verification in Practice",
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.",
keywords = "IR-75340, EWI-19155, METIS-275802",
author = "Haverkort, {Boudewijn R.H.M.} and Joost-Pieter Katoen and Larsen, {Kim G.}",
note = "10.1007/978-3-642-16561-0",
year = "2010",
doi = "10.1007/978-3-642-16561-0",
language = "English",
isbn = "978-3-642-16560-3",
publisher = "Springer Verlag",
address = "Germany",
type = "Other",

}

Quantitative Verification in Practice. / Haverkort, Boudewijn R.H.M.; Katoen, Joost-Pieter; Larsen, Kim G.

1 p. Berlin : Springer Verlag. 2010, .

Research output: Other contributionOther research output

TY - GEN

T1 - Quantitative Verification in Practice

AU - Haverkort, Boudewijn R.H.M.

AU - Katoen, Joost-Pieter

AU - Larsen, Kim G.

N1 - 10.1007/978-3-642-16561-0

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - IR-75340

KW - EWI-19155

KW - METIS-275802

U2 - 10.1007/978-3-642-16561-0

DO - 10.1007/978-3-642-16561-0

M3 - Other contribution

SN - 978-3-642-16560-3

PB - Springer Verlag

CY - Berlin

ER -