INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
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...
| Main Authors: | , , , , |
|---|---|
| Format: | Report |
| Published: |
DCS
2012
|