Model Checking Quantitative Linear Time Logic

13 years 4 months ago

Download people.na.infn.it

This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.

Marco Faella, Axel Legay, Mariëlle Stoelinga

Real-time Traffic

ENTCS 2008 | Kripke Structures | Quantitative Analagon | Quantitative Versions |

claim paper

Related Content

» Stochastic Game Logic

» LiQuor A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems

» Quantitative Game Semantics for Linear Logic

» Partial Order Reduction for Probabilistic Branching Time

» Model Checking Knowledge and Linear Time PSPACE Cases

» Parallel Model Checking and the FMICSjETI Platform

» Predicting Protein Folding Kinetics Via Temporal Logic Model Checking

» Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

» Verifying Quantitative Properties of Continuous Probabilistic Timed Automata

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Marco Faella, Axel Legay, Mariëlle Stoelinga

Comments (0)

Sciweavers

Model Checking Quantitative Linear Time Logic

ENTCS 2008 | Kripke Structures | Quantitative Analagon | Quantitative Versions |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers