Linking semantic models to support CSP B consistency checking

zbMATH Open1276.68121MaRDI QIDQ2863864FDOQ2863864

Authors: Helen Treharne, Neil D. Evans 

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052588?np=y

Recommendations

• Interactive tool support for CSP \(\parallel\) B consistency checking
• scientific article; zbMATH DE number 2111990
• Assumption-commitment support for CSP model checking
• Assumption-commitment support for CSP model checking
• Semantic models for concurrent logic languages
• A confluent semantic basis for the analysis of concurrent constraint logic programs
• Inter-model consistency checking using triple graph grammars and linear optimization techniques
• Model checking hybrid logics (with an application to semistructured data)
• scientific article; zbMATH DE number 1231557

zbMATH Keywords

verificationCSPBmethod integration

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Responsiveness and stable revivals
• PVS embedding of cCSP semantic models and their relationship
• Chunks: Component Verification in CSP ∥ B
• Interactive tool support for CSP \(\parallel\) B consistency checking
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

Uses Software

• PVS

This page was built for publication: Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863864)