Talk:Informal methods of validation and verification