MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Common Fragment of CTL and LTL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

The Common Fragment of CTL and LTL
by Monika Maidl — 2000 — In IEEE Symposium on Foundations of Computer Science
…The Common Fragment of CTL and LTL Monika Maidl Siemens Corporate Technology Otto-Hahn-Ring 6…
Cited by 25 (1 self) – Add To MetaCart

Temporal logic for scenario-based specifications
by Hillel Kugler, Hillel Kugler, David Harel, David Harel, Amir Pnueli, Amir Pnueli, Yuan Lu, Yuan Lu, Yves Bontemps, Yves Bontemps — 2005 — TACAS, volume 3440 of LNCS
… is in the common fragment of LTL and CTL. As we showed the formula: AG(m0 → AX(A(NU(m1 ∧ AX(A(NU(m2 ∧ AX(A(NUm3…
Cited by 14 (4 self) – Add To MetaCart

Embedding finite automata within regular expressions
by Shoham Ben-david, Dana Fisman, Sitvanit Ruah — 2004 — In 1st International Symposium on Leveraging Applications of Formal Methods
… and SERE-based formulas into not SERE! formulas. Since those CTL formulas lay in the common fragment of CTL…
Cited by 4 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB