Requirements that are checked before implementation: spec corpus, constitution and ftspec
How to check a new business requirement for consistency with already accepted ones before writing code: interval arithmetic over rule conditions, constitution invariants …