Common use of Inferring Models of Program Behavior Clause in Contracts

Inferring Models of Program Behavior. → ∈ ≡ ⇔ ∈ resp Fig. 1. Learning setting. function ▇▇▇▇ : Models Behaviors and we assume beh(P ) = ▇▇▇▇ (model (P )). Within the area of model-based testing, this assumption is commonly referred to as the test hypothesis [11, 31]. Two models M and Mj are equivalent if they induce the same observable behavior: M ▇▇ ▇▇▇▇ (M ) = ▇▇▇▇ (Mj).