Proving consistency assertions for automotive product data management

zbMATH Open0979.68061MaRDI QIDQ2749865FDOQ2749865

Authors: Wolfgang Küchlin, Carsten Sinz 

Publication date: 21 October 2001

Recommendations

• Proving consistency assertions for automotive product data management
• Formal verification of specification models
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 2079678
• Towards a theory of consistency enforcement

zbMATH Keywords

verificationformal specification

Mathematics Subject Classification ID

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

Cited In (3)

• CNF encodings of symmetric functions
• Digital collections of examples in mathematical sciences
• Proving consistency assertions for automotive product data management

Uses Software

• SATO

This page was built for publication: Proving consistency assertions for automotive product data management

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