MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Temporal Logic Sugar." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

The Temporal Logic Sugar
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh — 2001
…The Temporal Logic Sugar Ilan Beer 1 , Shoham Ben-David 1 , Cindy Eisner 1 , Dana Fisman 1…
Cited by 43 (7 self) – Add To MetaCart

How to Formalize It? Formalization Principles for Information System Development Methods
by A. H. M. Ter Hofstede, H.A. Proper — 1998 — Information and Software Technology
… opposed to specialized logics, such as dynamic or temporal logic, or “sugared” versions of logic such as Z…
Cited by 2 (0 self) – Add To MetaCart

Model Checking the Garbage Collection Mechanism of SMV
by Cindy Eisner — 2001
… of the language SMV. RuleBase uses the temporal logic Sugar [4] as its specication language. Sugar combines…
Cited by 5 (4 self) – Add To MetaCart

Automata construction for PSL
by Doron Bustan, Dana Fisman, John Havlicek — 2005
… by and seq. The operator → exists in the temporal logic Sugar [4] under the notation r(ϕ). These operators…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB