Tag: Grigore Rosu

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Grigore Rosu

Runtime Verification and IOHK Launch Virtual Machine for Blockchains

Added to Collection on: 2017-12-18 03:18:45

Tags for this article:

Cryptocurrencies
Blockchains
Computing
Bitcoin
Technology
Decentralization
Smart contract
Software engineering
Runtime verification
LLVM
Formal methods
IOHK
Grigore Rosu

Click the tags to see associated articles and topics

View Article Details
Runtime Verification Raises $5.3 Million to Advance Blockchain Security

Added to Collection on: 2021-06-18 19:16:18

Tags for this article:

Cryptocurrencies
Blockchains
Articles
Technology
Computing
Grigore Rosu
Tezos
Cardano
Smart contract
Runtime verification
Verification
Elrond

Click the tags to see associated articles and topics

View Article Details
Book a Demo