Time−Bounded Verification of CTMCs Against Real−Time Specifications

Time−Bounded Verification of CTMCs Against Real−Time Specifications

Abstract. In this paper we study time-bounded verification of a finite continuous-timeMarkov chain (CTMC) C against a real-time specification, provided either as a metric temporal logic (MTL) property 'φ', or as a timed automaton (TA) A. The key question is: what is the probability of the...

書誌詳細
主要な著者:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
フォーマット:	Conference item
出版事項:	Springer 2011

類似資料

Verification of Linear Duration Properties over Continuous−Time Markov Chains
著者:: Chen, T, 等
出版事項: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
著者:: Chen, T, 等
出版事項: (2012)

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)

Quantitative verification of real-time properties with application to medical devices
著者:: Marco Diciolla, M, 等
出版事項: (2014)

Time-Bounded Verification
著者:: Ouaknine, J, 等
出版事項: (2009)

Building power consumption models from executable timed I/O automata specifications
著者:: Kwiatkowska, M, 等
出版事項: (2016)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
著者:: Taolue Chen, 等
出版事項: (2011-03-01)

PRISM 4.0: Verification of probabilistic real-time systems
著者:: Kwiatkowska, M, 等
出版事項: (2011)

Verification and control of turn-based probabilistic real-time games
著者:: Kwiatkowska, M, 等
出版事項: (2019)

Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification
著者:: Jasour, Ashkan, 等
出版事項: (2022)

Real time programming : languages, specification and verification /
著者:: Shyamasundar, Rudrapatna, 1950-, 等
出版事項: (c201)

Real-time systems : formal specification and automatic verification /
著者:: 273586, 等
出版事項: (2008)

Towards a Theory of Time-Bounded Verification.
著者:: Ouaknine, J, 等
出版事項: (2010)

Real-time face verification
著者:: Romano, Raquel Andrea
出版事項: (2007)

Efficient CTMC Model Checking of Linear Real−Time Objectives
著者:: Barbot, B, 等
出版事項: (2011)

Incremental Verification of Timing Constraints for Real-Time Systems
著者:: Andrei, Å tefan, 等
出版事項: (2004)

Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
著者:: QASIM, A., 等
出版事項: (2015-08-01)

Real-time systems : scheduling, analysis, and verification /
著者:: 422785 Cheng, Albert M. K.
出版事項: (2002)

Modeling and verification of real-time systems /
著者:: Navet, Nicolas
出版事項: (2008)

Porcine specific real-time polymerase chain reaction (PCR) for halal verification
著者:: Khalid, Farihah Liyana, 等
出版事項: (2009)

Time Bounds for Real-time Process Control in the Presence of Time Uncertainty
著者:: Attiya, Hagit, 等
出版事項: (2023)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
著者:: Kwiatkowska, M, 等
出版事項: (2017)

Formal Verification of Real-Time System Requirements
著者:: Marcin Szpyrka
出版事項: (2000-01-01)

A lightweight specification language for bounded program verification
著者:: Yessenov, Kuat T
出版事項: (2010)

Revisiting Timed Specification Theories: A Linear−Time Perspective
著者:: Chilton, C, 等
出版事項: (2012)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
著者:: Kwiatkowska, M, 等
出版事項: (2020)

Modeling and verification of randomized distributed real-time systems
著者:: Segala, Roberto
出版事項: (2007)

Modeling and Verification of Randomized Distributed Real -Time Systems
著者:: Segala, Roberto
出版事項: (2023)

Real-Time Verification for Distributed Cyber-Physical Systems
著者:: Tran, Hoang-Dung, 等
出版事項: (2022-12-01)

Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems
著者:: Tomasz Szmuc, 等
出版事項: (2002-01-01)

Formal Verification of Real-Time Function Blocks Using PVS
著者:: Linna Pang, 等
出版事項: (2015-06-01)

Linear gate bounds against natural functions for position-verification
著者:: Vahid Asadi, 等
出版事項: (2025-01-01)

Specification and Verification of Strong Timing Isolation of Hardware Enclaves
著者:: Lau, Stella, 等
出版事項: (2025)

Specification and Verification of Timing Properties in Interoperable Medical Systems
著者:: Mahsa Zarneshan, 等
出版事項: (2022-06-01)

Semiautomated Clone Verification by Real-Time PCR Using Molecular Beacons
著者:: R.C.A.A. van Schie, 等
出版事項: (2000-12-01)

Verification of audio signal processing algorithm using real-time simulator
著者:: Ling, Keck Voon, 等
出版事項: (2013)

Calculation and Verification of the Real-Time Working Characteristics of a Viscous Coupling
著者:: Liqiang Jin, 等
出版事項: (2021-01-01)

Event Order Abstraction for Parametric Real-Time System Verification
著者:: Umeno, Shinya
出版事項: (2008)