Linking semantic models to support CSP B consistency checking

MaRDI QIDQ2863864zbMATH OpenFDO

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

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)

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

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

Describes a project that uses

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)