Formal verification of STATEMATE-statecharts

MaRDI QIDQ4934532zbMATH OpenFDO

Authors Kay Fuhrmann, Jan Hiemer

Publication date 17 February 2002

zbMATH Keywords

statematestatemate-statecharts

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1519897
• scientific article; zbMATH DE number 1286822
• scientific article; zbMATH DE number 1544531
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• The Statemate verification environment -- making it real

Cited in

(15)

• scientific article; zbMATH DE number 1670805 (Why is no real title available?)
• Formal analysis and verification of Statemate designs
• Scaling up model-checking. A case-study
• scientific article; zbMATH DE number 1519897 (Why is no real title available?)
• scientific article; zbMATH DE number 1544531 (Why is no real title available?)
• Formal Verification of Simulink/Stateflow Diagrams
• Typestates to automata and back: a tool
• Proof tactics for a theory of state machines in a graphical environment
• Computer Aided Verification
• Theoretical Aspects of Computing - ICTAC 2004
• Verification of a radio-based signaling system using the STATEMATE verification environment
• Equivalence checking 40 years after: a review of bisimulation tools
• Early verification and validation of mission critical systems
• Verification of well-formed communicating recursive state machines
• Verification of scope-dependent hierarchical state machines

This page was built for publication: Formal verification of STATEMATE-statecharts

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