METHOD FOR THE COMPUTER-ASSISTED ANALYSIS OF A MODEL FOR DESCRIBING A PLURALITY OF VARIANTS OF A TECHNICAL SYSTEM

摘要

The invention relates to a method for the computer-assisted analysis of a model (MO) for describing a plurality of variants (VA) of a technical system, wherein components of the technical system are variably defined digitally by the model (MO) on the basis of a specification. According to the invention, the model (MO) is converted into a term of a predicate logic (PL) and said term is processed by means of an SMT solver (SMT), which determines and outputs at least some of the variants (VA) contained in the model (MO).