MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Checking That Finite State Concurrent Programs Satisfy Their Linear Specification." – 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

[23] D. Peled, All from One, One for All: on Model Checking using Representatives, 5th
by D. Peled, S. Katz, A. Pnueli, Proving Serializability, Temporal Logic
… concurrent programs satisfy their linear specification, 11th ACM Annual Symposium on Principles…
Add To MetaCart

unknown title
by P. Wolper, P. Godefroid, R. Gerth, R. Kuiper, D. Peled, W. Pencz
… & Hall, 197-211. [12] O. Lichtenstein, A. Pnueli, Checking that finite-state concurrent programs…
Add To MetaCart

On-the-fly Emptiness Checks for Generalized Büchi Automata
by Jean-michel Couvreur, Alexandre Duret-Lutz, Re Duret-lutz, Denis Poitrenaud — 2005 — In Proc. 12th Intl. spin Works. on Model Checking Software, LNCS #1708
… directed graph Dijkstra, 1973 [16] Checking That Finite State Concurrent Programs Satisfy Their Linear…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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