Behavior

Kind: dimension

Record: reasoning:dimension-behavior

Canonical: Reasoning

What does it do?

Listed in Reasoning records, after Change and before Function.

Surfaces

• concurrency-correctness

Concept of

• Behavior
• Behavior

Subsumed by

• Interaction

Linked from

• The nodes
• The universal axes
• The test surfaces
• The uncovered cells