Automating (specification implementation) using equational reasoning and LOTOS

DOI10.1007/3-540-56610-4_88MaRDI QIDQ5044762zbMATH OpenOpenAlexFDO

Authors Carron Kirkwood

Publication date 2 November 2022

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

Full work available at URL https://doi.org/10.1007/3-540-56610-4_88

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A framework based on implementation relations for implementing LOTOS specifications
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• scientific article; zbMATH DE number 177243
• scientific article; zbMATH DE number 1746446
• scientific article; zbMATH DE number 1693438

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Specification styles in distributed systems design and verification

Cited in

(3)

• Modifying LOTOS specifications by means of automatable formula-based integrations
• scientific article; zbMATH DE number 1086649 (Why is no real title available?)
• Gate splitting in LOTOS specifications using abstract interpretation

This page was built for publication: Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS

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