Live and let die: LSC based verification of UML models

DOI10.1016/j.scico.2004.05.013zbMath1075.68049OpenAlexW2027500030MaRDI QIDQ1776581

Werner Damm, Bernd Westphal

Publication date: 12 May 2005

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

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

zbMATH Keywords

query reduction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Mind the Shapes: Abstraction Refinement Via Topology Invariants

Uses Software

• SPIN

This page was built for publication: Live and let die: LSC based verification of UML models