Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

SOFSEM
2005
Springer

favoriteEmaildiscussreport

112views Theoretical Computer Science» more SOFSEM 2005»

Characteristic Patterns for LTL

13 years 9 months ago

Characteristic Patterns for LTL

Download www.fi.muni.cz

We give a new characterization of those languages that are deﬁnable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings further results about various LTL fragments. We also propose a generic method for decomposing LTL formulae into an equivalent disjunction of “semantically reﬁned” LTL formulae, and indicate how this result can be used to improve the functionality of existing LTL model-checkers.

Antonín Kucera, Jan Strejcek

Real-time Traffic

LTL Formulae | Nesting Depths | SOFSEM 2005 | Theoretical Computer Science | Various Ltl Fragments |

claim paper

Related Content

» Tableau Tool for Testing Satisfiability in LTL Implementation and Experimental Analysis

» Events in Property Patterns

» Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications

» DOCasl An ObserverBased Casl Extension for Dynamic Specifications

» Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC

» Discovering Characteristic Patterns from Collections of Classical Japanese Poems

» Virtual Reality Interaction The Characteristic Pattern Approach

» Discovery of Characteristic subgraph Patterns Using Relative Indexing and the Cascade Mode...

» Characteristic relational patterns

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	SOFSEM
Authors	Antonín Kucera, Jan Strejcek

Comments (0)