Assumption-commitment support for CSP model checking

DOI10.1007/S10817-008-9111-8zbMath1191.68414OpenAlexW2046736980MaRDI QIDQ1040778

Nick Moffat, Michael Goldsmith

Publication date: 25 November 2009

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-008-9111-8

zbMATH Keywords

model checkingCSPrefinementcompositional reasoningassume-guaranteeassumption-commitment

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
• Communicating sequential processes
• Chunks: Component Verification in CSP ∥ B

This page was built for publication: Assumption-commitment support for CSP model checking