Module VII — Verification Engineering

Status: outline. Lecture body not authored.

The agent that produces is not necessarily the agent that decides it is correct.

Architectures

Maker       → Checker
Implementer → Reviewer
Generator   → Evaluator
Agent       → Deterministic Oracle

Techniques

tests · schemas · assertions · static analysis · adversarial review · cross-model review · majority voting.

N-Version evidence shows two facts at once:

1. different models can share correlated failures; 2. majority voting can still cut the number of failures significantly.

Unique process — Correlated Failure Test

Do not assume:

different provider  =  independent error