You can model physical devices to arbitrary degrees of precision. Lanyon is doing it. These are not limitations of verification. Metrological models of semiconductor fabrication can even do verification over the distribution of faulty circuit outcomes.