Talk:Informal methods of validation and verification: Difference between revisions