ISO/IEC 13568:2002—Z formal specification notation

ISO/IEC. (2002). ISO/IEC 13568:2002—Z formal specification notation: syntax, type system and semantics.

Type

Standard

Intellectual base

Reference work

Year

2002

Link

https://www.iso.org/standard/21573.html

Cited by

1 citation across 1 artifact.

Domain-specific

• Specification language
  • A separate refinement argument is needed before an implementation can be said to satisfy the abstract state model.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:3ea5272bd0b1 · see in the full table