Andreas Persbo at VERTIC has begun a very promising blog on verification titled, sensibly enough, Verification.