Validation of formal models by refinement animation

DOI10.1016/j.scico.2011.03.005zbMath1264.68057OpenAlexW2072113070MaRDI QIDQ1951638

Daniel Plagge, Stefan Hallerstede, Michael Leuschel

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.03.005

zbMATH Keywords

toolsmodel checkingrefinementindustrial applicationsEvent-Bconstraint-solving

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Foundations for using linear temporal logic in Event-B refinement ⋮ Trace preservation in B and Event-B refinements

Uses Software

• ProB

This page was built for publication: Validation of formal models by refinement animation