Report
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
- Abstract:
-
Probabilistic verification techniques have been proposed for runtime analysis of adaptive software systems, with the verification results being used to steer the system so that it satisfies certain Quality-of-Service requirements. Since systems evolve over time, and verification results are required promptly, efficiency is an essential issue. To address this, we present incremental verification techniques, which exploit the results of previous analyses. We target systems modelled as Markov de...
Expand abstract
Actions
Authors
Bibliographic Details
- Publisher:
- DCS
- Publication date:
- 2012-01-01
Item Description
- UUID:
-
uuid:0afc930c-5280-4a7d-991f-4148cccb8e68
- Local pid:
- cs:6227
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2012
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record