
Evènement pour le groupe Modélisation et Verification
Date  20120329 11:3012:30 
Titre  The Quantitative LinearTime–BranchingTime Spectrum 
Résumé  We present a distanceagnostic approach to quantitative verification. Taking as input an unspecified distance on system traces, or executions, we develop a gamebased framework which allows us to define a spectrum of different interesting system distances corresponding to the given trace distance. Thus we extend the classic lineartime–branchingtime spectrum to a quantitative setting, parametrized by trace distance. We also provide fixedpoint 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. 
Lieu  076 
Orateur  Uli Fahrenberg 
Email  ulrich.fahrenberg@irisa.fr 
Url  IRISA, Rennes 
Aucun document lié à cet événement. RetourRetour à l'index
 