Search Results: correctness-assurance

correctness-assurance

重要な不変条件・事前条件・事後条件を抽出し、型・静的解析・runtime assertion・テスト・property/differential testing・formal verification・reviewの中から最小十分な保証手段を設計する時に使用する。