Proving consistency assertions for automotive product data management

MaRDI QIDQ2749865zbMATHFDO

Authors Wolfgang Küchlin, Carsten Sinz

Publication date 21 October 2001

zbMATH Keywords

verificationformal specification

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

Describes a project that uses

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)