Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Lehrstuhl Informatik 2 Zeit: Donnerstag, 15. Okt. 2009, 16.30 Uhr

Summary: Lehrstuhl Informatik 2
Zeit: Donnerstag, 15. Okt. 2009, 16.30 Uhr
Ort: AH I, Ahornstr. 55
Referentin: Prof. Dr. Marta Kwiatkowska,
University of Oxford
Titel: On Quantitative Software Verification
The vast majority of software verification research to date has concentrated on quali-
tative analysis methods, for example the absence of safety violations in program
executions. Many programs, however, contain randomisation, timing and resource
information. Quantitative verification is a technique for establishing quantitative prop-
erties of a system model, such as the probability of battery power dropping below
minimum, the expected time for message delivery and the expected number of mes-
sages lost before protocol termination. Tools such as the probabilistic model checker
PRISM (www.prismmodelchecker.org) are widely used in several application do-
mains, including security and network protocols, but their application to real software
is limited.
This lecture presents recent results concerning quantitative software verification for
ANSI-C programs extended with random assignment. The goal is to focus on system


Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)


Collections: Computer Technologies and Information Sciences