Proving the correctness of behavioural implementations
From MaRDI portal
Publication:5096383
DOI10.1007/3-540-60043-4_51zbMATH Open1496.68199OpenAlexW1547567140MaRDI QIDQ5096383FDOQ5096383
Authors: Michel Bidoit, Rolf Hennicker 
Publication date: 16 August 2022
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60043-4_51
Recommendations
- Modular correctness proofs of behavioural implementations
- Correctness proofs for abstract implementations
- Proving the Correctness of the Implementation of a Control-Command Algorithm
- scientific article; zbMATH DE number 3938540
- scientific article; zbMATH DE number 17803
- Toward compiler implementation correctness proofs
- Hidden coinduction: behavioural correctness proofs for objects
- scientific article; zbMATH DE number 2013592
- Validating behavioral component interfaces in rewriting logic
Cites Work
- Title not available (Why is that?)
- Proof of correctness of data representations
- Behavioural and abstractor specifications
- Behavioural theories and the proof of behavioural properties
- Title not available (Why is that?)
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modular correctness proofs of behavioural implementations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Modular correctness proofs of behavioural implementations
- Title not available (Why is that?)
- Proving correctness w.r.t. specifications with hidden parts
- Title not available (Why is that?)
- Swinging types=functions+relations+transition systems
- Title not available (Why is that?)
- A semi-algorithm for algebraic implementation proofs
- Object-oriented hybrid systems of coalgebras plus monoid actions
- Behavioural satisfaction and equivalence in concrete model categories
- Behavioural correctness of data representations
This page was built for publication: Proving the correctness of behavioural implementations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096383)
