Proving Consistency Assertions for Automotive Product Data Management

• 1 January 2000
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 24  (1/2) , 145-163
• https://doi.org/10.1023/a:1006370506164

Abstract

Keywords

• ASSERTIONS
• CONSISTENCY
• VERIFICATION
• FORMAL
• BOOLEAN
• FORMULAE
• CONSTRAINTS
• LOGIC
• AUTOMOTIVE PRODUCT