Factorization

Factorization is the process of `dividing' a given specification into a known part (a design guess or system that partly implements the specified behavior) and some unknown `remainder specification'.

The (more general) theory of solving the design equation will be summarized here. The application of this theory to the domain of XDI systems will be described; examples of factorization of DI systems using the Ludwig tool will be provided.