Searching for "Stuck-Free Conformance." – sorted by Relevance.
-
Zing: Exploiting Program Structure for Model Checking Concurrent Software
- 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
- 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
- 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
- for model checking stuck-free conformance for concurrent software has been implemented in the tool zing [AQR
- Add To MetaCart

