Property Preserving Refinement for Csp-Casl

DOI10.1007/978-3-642-03429-9_14zbMath1253.68229OpenAlexW1491195605MaRDI QIDQ3184734

Markus Roggenbach, Temesghen Kahsai

Publication date: 22 October 2009

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03429-9_14

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Compositional Modelling and Reasoning in an Institution for Processes and Data ⋮ A formal verification technique for behavioural model-to-model transformations ⋮ CSP-CASL-Prover: A Generic Tool for Process and Data Refinement

Uses Software

• CASL
• Hets
• CSP-prover

Cites Work

• Unnamed Item
• Unnamed Item
• CASL reference manual. The complete documentation of the common algebraic specification language.
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Compositional Modelling and Reasoning in an Institution for Processes and Data
• Structured CSP – A Process Algebra as an Institution
• Reasoning Support for Casl with Automated Theorem Proving Systems
• CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
• Observational interpretation of Casl specifications
• Program development by stepwise refinement
• Tools and Algorithms for the Construction and Analysis of Systems
• Recent Trends in Algebraic Development Techniques
• Recent Trends in Algebraic Development Techniques
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Property Preserving Refinement for Csp-Casl