scientific article; zbMATH DE number 2033511

MaRDI QIDQ4444707zbMATHFDO

Authors Zsigmond Pap, István Majzik, András Pataricza

Publication date 27 January 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2187/21870046.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Data encryption (aspects in computer science) (68P25)

Recommendations

• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• scientific article; zbMATH DE number 1919419
• scientific article; zbMATH DE number 2016088
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• A new approach to model checking of UML state machines

Cited in

(4)

• Supporting design and developement of safety critical applications by model based tools
• Automated safety analysis by minimal path set detection for multi-domain object-oriented models
• Towards checking parametric reachability for UML state machines
• scientific article; zbMATH DE number 1982195 (Why is no real title available?)

Describes a project that uses

Uses Software

• SPIN

This page was built for publication:

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