Proving the correctness of behavioural implementations
From MaRDI portal
Publication:5096383
DOI10.1007/3-540-60043-4_51zbMATH Open1496.68199OpenAlexW1547567140MaRDI QIDQ5096383FDOQ5096383
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
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 (9)
- 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
Recommendations
- Modular correctness proofs of behavioural implementations 👍 👎
- Correctness proofs for abstract implementations 👍 👎
- Proving the Correctness of the Implementation of a Control-Command Algorithm 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Toward compiler implementation correctness proofs 👍 👎
- Hidden coinduction: behavioural correctness proofs for objects 👍 👎
- Title not available (Why is that?) 👍 👎
- Validating behavioral component interfaces in rewriting logic 👍 👎
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)
