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)