ПРАВКА: В Иннополисе разработали первый в мире индустриальный блокчейн с формальной верификацией
finanz.ruСпециалисты Университета Иннополис разработали первый в мире индустриальный блокчейн с применением методов формальной верификации, которые уже используют в проектах ПАО «Аэрофлот» и ПАО «Газпром нефть».
Об этом ТАСС сообщили в пресс-службе Университета Иннополис во вторник. «Универсальная система поддерживает операции по нескольким процессам - от заправки воздушных судов до оплаты ЖКУ.