TSMProcess composition

• Given a formal model of functional specification and of the properties, three situations may arise:

  • property is inherent for model of specification
  • property can be verified syntactically for given specification
  • property must be verified semantically, for given specification

Previous slide

Next slide

Back to first slide

View graphic version