Proving the correctness of behavioural implementations-Reference-Cited by-同舟云学术

Proving the correctness of behavioural implementations

Published:1995 Issue: Volume: Page:152-168
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Bidoit Michel,Hennicker Rolf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60043-4_51.pdf

Reference15 articles.

1. G. Bernot, M. Bidoit: Proving the correctness of algebraically specified software: modularity and observability issues. Proc. AMAST '91, 216–242, Springer-Verlag Workshops in Computing Series, 1992.

2. M. Bidoit, R. Hennicker: Proving ehavioural theorems with standard first-order logic. In Proc. ALP '94, Fourth International Conference on Algebraic and Logic Programming, Springer Lecture Notes in Computer Science 850,41–58,1994.

3. M. Bidoit, R. Hennicker. Behavioural theories and the proof of behavioural properties. Report LIENS-95-5, Ecole Normale Supérieure, 1995.

4. M. Bidoit, R. Hennicker: Proving the correctness of behavioural implementations. Technical Report, Universität München, 1995.

5. M. Bidoit, R. Hennicker, M. Wirsing: Behavioural and abstractor specifications. Report LIENS-94-10, Ecole Normale Supérieure, 1994. Revised version to appear in Science of Computer Programming.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Categorical Semantics of Cyber-Physical Systems Theory;ACM Transactions on Cyber-Physical Systems;2021-07-31

2. Swinging types=functions+relations+transition systems;Theoretical Computer Science;2000-07

3. Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving;≪UML≫ 2000 — The Unified Modeling Language;2000

4. Observational Logic;Algebraic Methodology and Software Technology;1998

5. Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs;TAPSOFT '97: Theory and Practice of Software Development;1997