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

doi 10.1007/3-540-48119-2_18
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Model-Checking for Real-Time Systems Specified in Lotos

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Model-Checking Software Using Precise Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Partitioned PLTL Model-Checking for Refined Transition Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Ideal Abstractions for Well-Structured Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Real-Time Model Checking on Secondary Storage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Real-Time Model Checking Is Really Simple

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

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

ACM SIGBED Review
EngineeringComputer Science
2008English

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

A Comparative Study of Decision Diagrams for Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy