Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2011.103
URN: urn:nbn:de:0030-drops-33324
URL: https://drops.dagstuhl.de/opus/volltexte/2011/3332/
Fahrenberg, Uli ; Legay, Axel ; Thrane, Claus
The Quantitative Linear-Time--Branching-Time Spectrum
| pdf-format: |
|
Abstract
We present a distance-agnostic approach to quantitative verification.Taking as input an unspecified distance on system traces, or executions, we develop a game-based framework which allows us to define a spectrum of different interesting system distances corresponding to the given trace distance. Thus we extend the classic linear-time--branching-time spectrum to a quantitative setting, parametrized by trace distance. We also provide fixed-point characterizations of all system distances, and we prove a general transfer principle which allows us to transfer counterexamples from the qualitative to the quantitative setting,showing that all system distances are mutually topologically inequivalent.
BibTeX - Entry
@InProceedings{fahrenberg_et_al:LIPIcs:2011:3332,
author = {Uli Fahrenberg and Axel Legay and Claus Thrane},
title = {{The Quantitative Linear-Time--Branching-Time Spectrum}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)},
pages = {103--114},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-34-7},
ISSN = {1868-8969},
year = {2011},
volume = {13},
editor = {Supratik Chakraborty and Amit Kumar},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3332},
URN = {urn:nbn:de:0030-drops-33324},
doi = {10.4230/LIPIcs.FSTTCS.2011.103},
annote = {Keywords: Quantitative verification, System distance, Distance hierarchy, Linear time, Branching time}
}
| Keywords: | Quantitative verification, System distance, Distance hierarchy, Linear time, Branching time | |
| Seminar: | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) | |
| Issue date: | 2011 | |
| Date of publication: | 01.12.2011 |
