MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Stuck-Free Conformance." – 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

Zing: Exploiting Program Structure for Model Checking Concurrent Software
by unknown authors
… have beenable to build a novel conformance checker to compositionally check if a zingmodel is stuck-free…
Add To MetaCart

A formal account of contracts for web services
by S. Carpineti, G. Castagna, C. Laneve, L. Padovani, École Normale Supérieure De Paris — 2006 — In WS-FM, 3rd Int. Workshop on Web Services and Formal Methods, number 4184 in LNCS
… noticing that both must testing and stuck free conformance are preserved by any ccs context without + thus…
Cited by 8 (2 self) – Add To MetaCart

N.: Assume-guarantee reasoning for deadlock
by Sagar Chaki — In: Proc. of FMCAD. (2006
… called stuck-free conformance [22]. Brookes and Roscoe [23] use the failure model to show the absence…
Cited by 1 (1 self) – Add To MetaCart

Under consideration for publication in Formal Aspects of Computing Concurrent Software Verification with States, Events, and Deadlocks 1,2
by Sagar Chaki, Edmund Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
… for model checking stuck-free conformance for concurrent software has been implemented in the tool zing [AQR…
Add To MetaCart

Showing 1 through 4.

ATOM

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