MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Regular Vacuity." – 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

Regular vacuity
by Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi — 2005 — In Proc. 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, volume 3725 of Lecture Notes in Computer Science
…Regular Vacuity Doron Bustan 2 , Alon Flaisher 1 , Orna Grumberg 1 , Orna Kupferman 3⋆ , and Moshe…
Cited by 12 (9 self) – Add To MetaCart

Regular Vacuity
by Doron Bustan Alon, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi — 2005 — In Proc. 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, volume 3725 of Lecture Notes in Computer Science
…Regular Vacuity Doron Bustan 2 , Alon Flaisher 1 , Orna Grumberg 1 , Orna Kupferman 3⋆ , and Moshe…
Add To MetaCart

Enhanced vacuity detection in linear temporal logic
by Alon Flaisher — 2004
… II Regular Vacuity 34 5 RELTL 35 5.1 Language Definition…
Cited by 1 (0 self) – Add To MetaCart

Sanity Checks in Formal Verification
by Orna Kupferman — 2006 — In Proc. of CONCUR’06, LNCS
…, but is detected by regular vacuity. Thus, while LTL vacuity involved only monadic quantification (over the set…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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