Checking Z Data Refinements Using Traces Refinement

DOI10.1016/j.entcs.2009.05.049zbMath1347.68080OpenAlexW1968238680MaRDI QIDQ5179359

Adalberto Farias, André Didier, Alexandre Mota

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.049

zbMATH Keywords

model checkingZdata refinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Z

Cites Work

• Verifying data refinements using a model checker
• On using data abstractions for model checking refinements
• Proof theory and automated deduction
• Integrated Formal Methods
• Model-checking CSP-Z: Strategy, tool support and industrial application
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Checking Z Data Refinements Using Traces Refinement