AI Dictionary & Vocabulary App "DiQt"

Last Updated：2025/11/24

See correct answer

When verifying software, engineers often rely on overapproximations to ensure safety properties are preserved.

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

Source Sentence

When verifying software, engineers often rely on overapproximations to ensure safety properties are preserved.

ソフトウェアの検証では、エンジニアはしばしば安全性の性質が保たれることを確実にするために過大近似に頼ります。