Proving Behavioral Refinements of COL-specifications

DOI10.1007/11780274_18MaRDI QIDQ5757925zbMATH OpenOpenAlexFDO

Authors Michel Bidoit, Rolf Hennicker

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_18

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Constructor-based observational logic
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 785047
• Modular correctness proofs of behavioural implementations
• Logical systems for structured specifications.

Cited in

(5)

• Constructor-based observational logic
• A coalgebraic perspective on logical interpretations
• Theoretical Aspects of Computing – ICTAC 2005
• Observational refinement process
• Generic constructions for behavioral specifications

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: Proving Behavioral Refinements of COL-specifications

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