Live and let die: LSC based verification of UML models

DOI10.1016/J.SCICO.2004.05.013MaRDI QIDQ1776581zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Live and let die: LSC-based verification of UML-models.
• Transformation and verification of executable UML models
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• scientific article; zbMATH DE number 2087522
• scientific article; zbMATH DE number 1919419

Cited in

(5)

• Transformation and verification of executable UML models
• Mind the Shapes: Abstraction Refinement Via Topology Invariants
• Tools and Algorithms for the Construction and Analysis of Systems
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• Live and let die: LSC-based verification of UML-models.

Describes a project that uses

Uses Software

• SPIN

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

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