What techniques are now forbidden for software verification?