Реализация проверки в реальном времени использует формальные методы для проведения аудитов безопасности виртуальных машин и смарт-контрактов на публичных блокчейнах. Она также предоставляет услуги тестирования программного обеспечения, проверки и продукты для повышения безопасности, надежности и корректности программных систем в области блокчейна.