Application-related verification coverage using meta-models

摘要

At least one processor of a computing device can create at least one meta-model. The at least one processor may further comprise, at the at least one metamodel, one or more of: a split operation, a merge operation, a reduction operation, a mathematical transformation, an inverse operation, a derivative operation, a cascading operation, and an algebraic operation on the at least one metamodel.