By my understanding, IMDEA works a lot on verification and checking. Iwill sketchnominal techniques and recent activity in the field, and speculate on how nominal techniques could be useful here, with a particular emphasis on why trying to do this might be useful. This talk will be aimed at everybody, especially those who are not familiar with nominal techniques. Further reading is (as always) on my webpage.