under-approximated

form-of participle past

simple past tense and past participle of under-approximate

Japanese Meaning

「under-approximate」の単純過去形および過去分詞形

The static analyzer under-approximated the set of reachable states, missing several feasible behaviors.

静的解析ツールは到達可能な状態の集合を下方近似し、いくつかの実行可能な振る舞いを見落とした。

Sense（1）

simple past tense and past participle of under-approximate