Efficient Property Preservation Checking of Model Refinements
From MaRDI portal
Publication:5326351
DOI10.1007/978-3-642-36742-7_41zbMath1381.68187OpenAlexW2106147566MaRDI QIDQ5326351
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
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)
Related Items (3)
On the preservation of properties when changing communication models ⋮ A formal verification technique for behavioural model-to-model transformations ⋮ Unnamed Item
This page was built for publication: Efficient Property Preservation Checking of Model Refinements
