slide 34

New Proofing and Checking Methods

limited only by imagination and programmers

• Lists of …
• False-color proofs
• Content checking
• Cross-checking