DS-V7 - Grammar

The grammar for DS-V7 consists of different node-types, that are used to construct Domain Specifications and Verification Reports.

Content

• The grammar and semantics of Domain Specifications

  • DS @context

• The grammar and semantics of Verification Reports

  • Error List for the basic verification

  • Error List for the DS verification

  • Error List for the DS-meta verification