scientific article; zbMATH DE number 2080014

MaRDI QIDQ4472200zbMATH OpenFDO

Authors Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Publication date 3 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720436.htm

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

• The Composition of Event-B Models
• Chunks: Component Verification in CSP ∥ B
• scientific article; zbMATH DE number 1487745
• scientific article; zbMATH DE number 2013578
• A compositional specification theory for component behaviours

Cited in

(6)

• How to verify and exploit a refinement of component-based systems
• The Composition of Event-B Models
• Composition of Use Cases Using Synchronization and Model Checking
• scientific article; zbMATH DE number 2013578 (Why is no real title available?)
• Property-preserving parallel decomposition
• Chunks: Component Verification in CSP ∥ B

Describes a project that uses

Uses Software

• csp2B

This page was built for publication:

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