Modular correctness proofs of behavioural implementations

DOI10.1007/s002360050149zbMath0910.68145OpenAlexW1976967017MaRDI QIDQ1127821

Rolf Hennicker, Michel Bidoit

Publication date: 29 March 1999

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

algebraic specificationsbehavioural equality

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Proving the correctness of behavioural implementations, On behavioural abstraction and behavioural satisfaction in higher-order logic, Behavioral abstraction is hiding information, Observational interpretation of Casl specifications, Towards Behavioral Maude

Uses Software

• LARCH