Verificationism is still alive and well, but perhaps not as a basis for empirical science...

Following Gentzen, Dummett, Prawitz and Martin-Löf, verificationism serves as the backbone to modern intuitionistic and constructive meaning theory.