[aray07]

The dropping requirements problem is real. What's helped us is breaking the spec into numbered ACs and having the verification run per-criterion. If AC-3 fails you know exactly what got dropped.

[jakevoytko]

I'll try that out, thanks for the tip!