Efficient property preservation checking of model refinements

DOI10.1007/978-3-642-36742-7_41MaRDI QIDQ5326351zbMATH OpenOpenAlexFDO

Authors Anton Wijs, Luc Engelen

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36742-7_41

Mathematics Subject Classification ID

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

Recommendations

• Towards automatic verification of behavior preservation for model transformation via invariant checking
• Model-checking the preservation of temporal properties upon feature integration
• Temporal-logic property preservation under Z refinement
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
• Computer Aided Verification

Cited in

(3)

• scientific article; zbMATH DE number 7243676 (Why is no real title available?)
• On the preservation of properties when changing communication models
• A formal verification technique for behavioural model-to-model transformations

This page was built for publication: Efficient property preservation checking of model refinements

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