Last Updated:2025/11/24
Sentence

安全性を確保するために、静的解析ツールは到達可能な状態の集合を過大に近似することがあり、実際には発生し得ない潜在的な挙動を報告することがあります。

Quizzes for review

To ensure safety, the static analyzer may overapproximate the set of reachable states, reporting potential behaviors that cannot actually occur.

See correct answer

To ensure safety, the static analyzer may overapproximate the set of reachable states, reporting potential behaviors that cannot actually occur.

音声機能が動作しない場合はこちらをご確認ください

Related words

overapproximate

Verb
transitive
Japanese Meaning
対象を、実際よりも大きな集合や範囲で近似すること。 / (計算や解析の対象を)過大に近似する、または上限として近似すること。
What is this buttons?

安全性を確保するために、静的解析ツールは到達可能な状態の集合を過大に近似することがあり、実際には発生し得ない潜在的な挙動を報告することがあります。

Related Words

present singular third-person

participle present

participle past

past

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★