Model-checking CSP-Z: Strategy, tool support and industrial application

DOI10.1016/S0167-6423(00)00023-XMaRDI QIDQ5931381zbMATH OpenOpenAlexFDO

Authors Alexandre Mota, Augusto Sampaio

Publication date 5 July 2001

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(00)00023-x

zbMATH Keywords

model-checking

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1487740
• Model checking CSP based on ASP and critical-trace model of CSP
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1693430
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)

Cited in

(15)

• Model checking action system refinements
• Discovering and correcting a deadlock in a channel implementation
• A ZDD-Based Efficient Higher-Order Model Checking Algorithm
• Simulink timed models for program verification
• Model checking CSP based on ASP and critical-trace model of CSP
• scientific article; zbMATH DE number 1487740 (Why is no real title available?)
• scientific article; zbMATH DE number 2090136 (Why is no real title available?)
• A Tool for Checking the CSP sat Property
• Checking Z Data Refinements Using Traces Refinement
• Z2SAL: a translation-based model checker for Z
• ZB 2005: Formal Specification and Development in Z and B
• Communicating Sequential Processes. The First 25 Years
• Verifying data refinements using a model checker
• \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
• On using data abstractions for model checking refinements

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Model-checking CSP-Z: Strategy, tool support and industrial application

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