Verifying implementation relations

DOI10.1007/3-540-45251-6_20MaRDI QIDQ2763981zbMATH OpenFDO

Authors Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2021/20210364

zbMATH Keywords

Behaviour abstractioncommunicating sequential processescompositionalityverification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2113951
• Vertical implementation
• Observational implementations
• A framework based on implementation relations for implementing LOTOS specifications
• scientific article; zbMATH DE number 1735620

Cited in

(7)

• Finite and infinite implementation of transition systems
• Certified verification of relational properties
• scientific article; zbMATH DE number 4045100 (Why is no real title available?)
• scientific article; zbMATH DE number 1735620 (Why is no real title available?)
• scientific article; zbMATH DE number 2113951 (Why is no real title available?)
• Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS
• An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

This page was built for publication: Verifying implementation relations

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