Runtime Verification привлекла 5,3 млн. долларов в рамках раунда финансирования, проводимого IOSG Ventures

Runtime Verification, стартап, использующий методы верификации во время исполнения для проведения аудита безопасности виртуальных машин и смарт-контрактов, привлек $5,3 млн в рамках раунда финансирования под руководством IOSG Ventures.

Инвестиции поступили от ряда известных венчурных компаний, включая Fenbushi Capital, Maven 11, Borderless Capital (Algorand), cFund (Cardano) под управлением Wave Financial, Hypersphere (Polkadot), Elrond Research и Tezos Foundation.

При участии акселераторов пяти крупнейших блокчейн-программ сбор средств подтвердил подход Runtime Verification к динамическому анализу программного обеспечения для обеспечения безопасности систем в криптовалютной индустрии.

Привлеченные средства будут использованы для ускорения разработки инструментария, предназначенного для повышения безопасности, надежности и корректности вычислительных систем для блокчейна и встроенных систем, а также для расширения глобального присутствия Runtime Verification.

«Я хотел бы поблагодарить наших инвесторов и партнеров за поддержку и усиление нашей миссии», — сказал основатель компании Григоре Розу.

«До настоящего времени все наше финансирование осуществлялось за счет грантов и контрактов, а не за счет привлечения капитала. Поэтому этот инвестиционный раунд является важным шагом для компании, который ускорит наш рост и влияние в области блокчейна».

«Я очень рад, что наши инвесторы приняли наш уникальный языково-параметрический подход, созданный за более чем 20 лет в рамках K Framework. Универсальность нашего подхода позволяет легко настраивать наши инструменты для работы с различными языками программирования и различными блокчейнами».

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

«Мы очень рады тесно сотрудничать с Runtime Verification и отправиться в следующее путешествие по внедрению формальной верификации в наши повседневные программные системы», — добавил Синьшу Донг, партнер IOSG Ventures.

Runtime Verification рассчитывает значительно расширить свою команду в течение следующего года, планируя выпустить новые инструменты и продукты для обеспечения безопасности. Компания уделяет особое внимание привлечению членов команды и клиентов из региона АТР, недавно создав новое подразделение в Сингапуре.

О компании Runtime Verification Inc

Основанная в 2010 году пионерами в академической области, Runtime Verification Inc — это американский стартап с глобальным присутствием, применяющий формальные методы для повышения безопасности, надежности и корректности вычислительных систем для аэрокосмической, автомобильной промышленности и блокчейна. Компания работает со строителями инфраструктуры, предоставляя услуги тестирования и верификации, и приобрела множество клиентов в мире встроенных систем (NASA, Boeing, Toyota, Denso, NSF, DARPA) и блокчейна (Algorand, Cosmos, Elrond, Ethereum, Gnosis, IOHK, Maker, PlatON, Polkadot, Tezos и Uniswap).

Миссия компании — доступные надежные вычисления. Runtime Verification специализируется на автоматической генерации корректных по конструкции реализаций и инструментов на основе их спецификаций. Одна из уникальных технологий стартапа — K, семантическая основа для проектирования, реализации и формальных рассуждений. K позволяет разработчикам языков формально определить свой язык, используя интуитивно понятную нотацию, и свободно генерировать реализации и инструменты анализа для этого определенного языка.