Formal analysis and verification of Statemate designs

MaRDI QIDQ2783115zbMATH OpenFDO

Authors Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke

Publication date 2 June 2002

Published in it + ti. Informationstechnik und Technische Informatik (Search for Journal in Brave)

zbMATH Keywords

statemate verification environment

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1519897
• Formal Verification of Simulink/Stateflow Diagrams
• scientific article; zbMATH DE number 1670805
• scientific article; zbMATH DE number 1390247
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker

Cited in

(11)

• Formal Analysis of Robustness at Model and Code Level
• scientific article; zbMATH DE number 1670805 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Contract-based verification of MATLAB-style matrix programs
• Formal verification of specification models
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1982196 (Why is no real title available?)
• scientific article; zbMATH DE number 1519897 (Why is no real title available?)
• Verification of large state/event systems using compositionality and dependency analysis
• Verification of a radio-based signaling system using the STATEMATE verification environment
• Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

This page was built for publication: Formal analysis and verification of Statemate designs

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