Verification of Linear Duration Properties over Continuous−Time Markov Chains
Abstract. Stochastic modeling and algorithmic verification techniques have been proved useful in analyzing and detecting unusual trends in performance and energy usage of systems such as power management controllers and wireless sensor devices. Many important properties are dependent on the cumulate...
المؤلفون الرئيسيون: | Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A |
---|---|
التنسيق: | Conference item |
منشور في: |
2012
|
مواد مشابهة
-
Verification of Linear Duration Properties over Continuous Time Markov Chains
حسب: Chen, T, وآخرون
منشور في: (2012) -
Time−Bounded Verification of CTMCs Against Real−Time Specifications
حسب: Chen, T, وآخرون
منشور في: (2011) -
Quantitative Verification of Implantable Cardiac Pacemakers
حسب: Chen, T, وآخرون
منشور في: (2015) -
A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
حسب: Chen, T, وآخرون
منشور في: (2013) -
Synthesising Optimal Timing Delays for Timed I/O Automata
حسب: Diciolla, M, وآخرون
منشور في: (2014)