Formal verification of specification models

MaRDI QIDQ2783117zbMATH OpenFDO

Authors Peter Jansen

Publication date 20 May 2002

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

zbMATH Keywords

Statemate

Mathematics Subject Classification ID

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

Recommendations

• Automated Technology for Verification and Analysis
• HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 47348
• Formal analysis and verification of Statemate designs

Cited in

(15)

• A case study in embedded systems design: An engine control unit
• Automatically verifying an object-oriented specification of the Steam-Boiler system
• Proving consistency assertions for automotive product data management
• Proving consistency assertions for automotive product data management
• scientific article; zbMATH DE number 1693452 (Why is no real title available?)
• Formal specification generation from requirement documents
• Modeling for Verification
• scientific article; zbMATH DE number 4092761 (Why is no real title available?)
• scientific article; zbMATH DE number 47348 (Why is no real title available?)
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• Towards dependable development tools for embedded systems: a case study in software verification
• Tool-supported specification of a wind turbine
• FM 2005: Formal Methods
• Mechanizing Mathematical Reasoning
• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system

This page was built for publication: Formal verification of specification models

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