Presentation and short assay about test and verification techniques.