Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis

doi 10.1109/rtss.2008.53
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Branching-Time Model Checking Gap-Order Constraint Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking

ACM SIGBED Review
EngineeringComputer Science
2008English

Model-Checking for Real-Time Systems Specified in Lotos

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Formula Based Abstractions of Transition Systems for Real-Time Model Checking

English

Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2011English

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Fair SMG and Linear Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Real-Time Model Checking on Secondary Storage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy