Deep Hypothesis
Vinter, Loomes & Kornbrot
- Interested in validity of claims made about formal methods
- Investigated cognitive psychology research concerned with logic errors
- Studied logic error made by people with formal methods background
- Null hypothesis that the error would be the same as those observed for naÔve subjects