CSP-CASL-Prover: a generic tool for process and data refinement

DOI10.1016/J.ENTCS.2009.08.018MaRDI QIDQ5178975zbMATH OpenOpenAlexFDO

Authors Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe

Publication date 18 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.08.018

zbMATH Keywords

algebraic specificationfunctional programmingprocess algebratheorem proving

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Compositional modelling and reasoning in an institution for processes and data
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Property Preserving Refinement for Csp-Casl
• Proof principles of CSP -- CSP-prover in practice

Cites work

• A Complete Axiomatic Semantics for the CSP Stable-Failures Model
• Compositional modelling and reasoning in an institution for processes and data
• CSP-CASL -- a new integration of process algebra and algebraic specification
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Proof principles of CSP -- CSP-prover in practice
• Property Preserving Refinement for Csp-Casl
• Recent Trends in Algebraic Development Techniques
• Relating CASL with other specification languages: the institution level.
• Structured CSP – A Process Algebra as an Institution
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of a sliding window protocol in \(\mu\) CRL and PVS

Cited in

(4)

• CSP-CASL -- a new integration of process algebra and algebraic specification
• Compositional modelling and reasoning in an institution for processes and data
• Property Preserving Refinement for Csp-Casl
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• Hets
• CSP-prover
• CASL
• Isabelle/HOL

This page was built for publication: CSP-CASL-Prover: a generic tool for process and data refinement

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