Çalışma zamanı doğrulaması, kamu blok zincirlerinde sanal makineler ve akıllı sözleşmeler üzerinde güvenlik denetimleri gerçekleştirmek için formel yöntemler kullanır. Ayrıca, blok zinciri alanındaki yazılım sistemlerinin güvenliğini, güvenilirliğini ve doğruluğunu artırmak için yazılım testi, doğrulama hizmetleri ve ürünleri sunar.