An outline of PVS semantics for UML statecharts

MaRDI QIDQ2709232zbMATH OpenFDO

Authors Issa Traoré

Publication date 10 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

zbMATH Keywords

statechart diagrams

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2016088
• scientific article; zbMATH DE number 2006503
• scientific article; zbMATH DE number 1304378
• scientific article; zbMATH DE number 1569123
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Cited in

(4)

• scientific article; zbMATH DE number 2006503 (Why is no real title available?)
• scientific article; zbMATH DE number 2016088 (Why is no real title available?)
• scientific article; zbMATH DE number 1569123 (Why is no real title available?)
• scientific article; zbMATH DE number 2086948 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS
• SPIN

This page was built for publication: An outline of PVS semantics for UML statecharts

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